18429 search results - page 135 / 3686 » Typing dynamic typing |
143
Voted
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
126
Voted
IFIPTCS
2000
15 years 8 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
131
click to vote
VLDB
1995
ACM
15 years 8 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...
138
click to vote
VISSYM
2007
15 years 7 months ago
2007
With the ubiquity of typed text, the style and much of the personality of handwriting has been lost from general communication. To counter this we introduce an artistic real-time ...
132
Voted
ENTCS
2008
15 years 5 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...