2803 search results - page 42 / 561 » A Type System for Prototyping Languages |
TGC
2005
Springer
14 years 2 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...
FLOPS
2010
Springer
14 years 3 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...
TIC
1998
Springer
14 years 21 days ago
1998
Springer
Suppose we translate two different source languages,
CSFW
2008
IEEE
14 years 3 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...
POPL
1991
ACM
14 years 15 hour 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,...