Combining Generics and Dynamics
Main Authors: | Achten, P, Hinze, R |
---|---|
פורמט: | Report |
יצא לאור: |
Nijmegen Institute for Computing and Information Sciences‚ University of Nijmegen
2002
|
פריטים דומים
-
A lightweight implementation of generics and dynamics
מאת: Cheney, J, et al.
יצא לאור: (2002) -
Generics for the masses
מאת: Hinze, R
יצא לאור: (2015) -
Generics for the masses
מאת: Hinze, R
יצא לאור: (2004) -
Generic Programs and Proofs
מאת: Hinze, R
יצא לאור: (2000) -
Generic Programming with Adjunctions
מאת: Hinze, R
יצא לאור: (2012)