4743 search results - page 23 / 949 » Introduction to Functional Programming |
135
Voted
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
212
Voted
LOGCOM
2011
14 years 9 months ago
2011
194
Voted
PEPM
1993
ACM
15 years 10 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...
134
Voted
APLAS
2003
ACM
15 years 11 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...
177
click to vote
ICFP
2006
ACM
16 years 6 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...