2290 search results - page 60 / 458 » Extensible Protected Types |
JAPLL
2008
13 years 7 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
ICFP
1999
ACM
14 years 16 hour ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
Semi-structured documents (e.g. journal art,icles, electronic mail, television programs, mail order catalogs, ...) a.re often not explicitly typed; the only available t,ype inform...
ESOP
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
ESOP
1999
Springer
13 years 12 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...