4743 search results - page 23 / 949 » Introduction to Functional Programming |
ERLANG
2008
ACM
13 years 11 months ago
2008
ACM
LOGCOM
2011
13 years 22 days ago
2011
PEPM
1993
ACM
14 years 1 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
APLAS
2003
ACM
14 years 3 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...