4 search results - page 1 / 1 » Lightweight Parametric Polymorphism for Oberon |
JMLC
1997
Springer
14 years 3 months ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...
FOSSACS
2008
Springer
14 years 12 days ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
HASKELL
2008
ACM
13 years 12 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...