680 search results - page 81 / 136 » Types for the Ambient Calculus |
111
click to vote
FOCS
1992
IEEE
15 years 8 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
164
click to vote
POPL
1991
ACM
15 years 7 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
148
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
142
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
147
click to vote
JFP
2008
15 years 4 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...