680 search results - page 62 / 136 » Types for the Ambient Calculus |
POPL
2006
ACM
14 years 9 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
FLAIRS
2000
13 years 10 months ago
2000
In a unified knowledge representation data, information and knowledge are all represented in a single formalism as "items". Objects are item building operators. Items an...
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
PLDI
1989
ACM
14 years 1 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...