Federico Cozzi
Type inference for local typing of mobile
ambients
2004
A type inference algorithm for the local type system for mobile ambients of [81] is presented.
It is obtained by applying a combination of techniques to the original typing rules, including a constraint handling and simplification procedure, which is mainly based on unification.
The algorithm employs type schemes and therefore is, in a sense, more general than the original system.
The inference algorithm is then implemented in Prolog.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43