5415 search results - page 163 / 1083 » The Implementation of Functional Programming Languages |
ESCIENCE
2005
IEEE
14 years 4 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
PPDP
2004
Springer
14 years 4 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
OOPSLA
1993
Springer
14 years 2 months ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
POPL
2010
ACM
14 years 8 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
TOOLS
1998
IEEE
14 years 3 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...