7529 search results - page 45 / 1506 » The Modula-3 Type System |
POPL
1994
ACM
13 years 11 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
AI
2001
Springer
14 years 7 days ago
2001
Springer
This paper describes the user interface design and evaluation of TransType, a system that watches over the user as he or she types a translation and repeatedly suggests completions...
ANLP
2000
13 years 9 months ago
2000
This work is in the context of TransType, a system that observes its user as he or she types a translation and repeatedly suggests completions for the text already entered. The us...