10871 search results - page 332 / 2175 » A stable programming language |
370
click to vote
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
167
click to vote
FP
1992
15 years 10 months ago
1992
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
142
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
187
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...