5415 search results - page 64 / 1083 » The Implementation of Functional Programming Languages |
ICFP
2007
ACM
14 years 9 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
IFL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...