Combining Generics and Dynamics
Main Authors: | Achten, P, Hinze, R |
---|---|
Format: | Report |
Published: |
Nijmegen Institute for Computing and Information Sciences‚ University of Nijmegen
2002
|
Similar Items
-
A lightweight implementation of generics and dynamics
by: Cheney, J, et al.
Published: (2002) -
Generics for the masses
by: Hinze, R
Published: (2015) -
Generics for the masses
by: Hinze, R
Published: (2004) -
Generic Programming with Adjunctions
by: Hinze, R
Published: (2012) -
Generic Programs and Proofs
by: Hinze, R
Published: (2000)