680 search results - page 37 / 136 » Types for the Ambient Calculus |
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
120
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
164
click to vote
PLPV
2010
ACM
16 years 28 days ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
143
click to vote
ACTA
2005
15 years 4 months ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...
112
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...