5415 search results - page 172 / 1083 » The Implementation of Functional Programming Languages |
106
click to vote
IJCAI
2001
15 years 2 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
107
click to vote
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
ESOP
1999
Springer
15 years 5 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
206
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...