631 search results - page 127 / 127 » A Structured Approach to Support 3D User Interface Developme... |
145
Voted
POPL
2012
ACM
13 years 10 months 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...