3713 search results - page 118 / 743 » Constructing a Calculus of Programs |
121
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
153
click to vote
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
117
click to vote
TYPES
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
199
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
112
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...