1131 search results - page 150 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
120
Voted
ICFP
2007
ACM
16 years 15 days ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
109
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
150
click to vote
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
96
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
119
Voted
CIG
2005
IEEE
15 years 6 months ago
2005
IEEE
A newly designed game is introduced, which feels like Backgammon, but has a simplified rule set. Unlike earlier attempts at simplifying the game, Nannon maintains enough features a...