POPL
1997
ACM
14 years 3 months ago
1997
ACM
POPL
1997
ACM
14 years 3 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
POPL
1997
ACM
14 years 3 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
POPL
1997
ACM
14 years 3 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
POPL
1997
ACM
14 years 3 months ago
1997
ACM
POPL
1997
ACM
14 years 3 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
POPL
1997
ACM
14 years 3 months ago
1997
ACM
POPL
1997
ACM
14 years 3 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
POPL
1997
ACM
14 years 3 months ago
1997
ACM
POPL
1997
ACM
14 years 3 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...