2 search results - page 1 / 1 » Fully reflexive intensional type analysis |
ICFP
2000
ACM
14 years 2 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
FPCA
1995
14 years 2 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...