2272 search results - page 226 / 455 » A Calculus for |
141
click to vote
ICTCS
2001
Springer
15 years 9 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
115
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
128
click to vote
AGP
1999
IEEE
15 years 9 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
141
click to vote
TYPES
1999
Springer
15 years 9 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
121
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...