1131 search results - page 87 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
74
Voted
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
113
Voted
ICFP
2008
ACM
16 years 14 days ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
203
click to vote
POPL
2006
ACM
16 years 24 days ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
105
Voted
WSCG
2003
15 years 1 months ago
2003
The use of Virtual Environments as a user interface can be important for certain types of applications, especially in the fields of education and entertainment. These synthetic wo...
95
Voted
ICFP
2004
ACM
16 years 14 days ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...