743 search results - page 19 / 149 » A Calculus of Gamma Programs |
ASIAN
1998
Springer
13 years 12 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
PPDP
2004
Springer
14 years 29 days ago
2004
Springer
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
PPDP
2004
Springer
14 years 29 days ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...