1194 search results - page 23 / 239 » A Calculus for Predicative Programming |
114
Voted
FUIN
2007
15 years 2 months ago
2007
111
Voted
FAC
2010
14 years 12 months ago
2010
99
Voted
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
108
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
142
Voted
BIRTHDAY
2000
Springer
15 years 7 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...