291 search results - page 7 / 59 » A Logic for Parametric Polymorphism |
SAS
1994
Springer
15 years 1 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
LICS
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
SE
2007
14 years 11 months ago
2007
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
