11 search results - page 3 / 3 » Proof Contexts with Late Binding |
POPL
2012
ACM
12 years 12 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...