Sciweavers

174 search results - page 1 / 35
» Efficient Intensional Implementation for Lazy Functional Lan...
Sort
View
MICS
2008
108views more  MICS 2008»
13 years 5 months ago
Efficient Intensional Implementation for Lazy Functional Languages
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
Angelos Charalambidis, Athanasios Grivas, Nikolaos...
ICFP
2009
ACM
14 years 6 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
ICFP
2004
ACM
14 years 5 months ago
Implementing functional logic languages using multiple threads and stores
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
Andrew P. Tolmach, Sergio Antoy, Marius Nita
FPCA
1993
13 years 9 months ago
Benchmarking Implementations of Lazy Functional Languages
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
Pieter H. Hartel, Koen Langendoen
ICLP
1992
Springer
13 years 9 months ago
Implementing a Lazy Functional Logic Language with Disequality Constraints
Herbert Kuchen, Francisco Javier López-Frag...