2803 search results - page 42 / 561 » A Type System for Prototyping Languages |
168
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
108
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
118
Voted
TIC
1998
Springer
15 years 7 months ago
1998
Springer
Suppose we translate two different source languages,
122
Voted
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
117
Voted
POPL
1991
ACM
15 years 7 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...