Generic Programs and Proofs
Váldodahkki: | Hinze, R |
---|---|
Materiálatiipa: | Oahppočájánas |
Almmustuhtton: |
2000
|
Geahča maid
-
Generic Programming with Adjunctions
Dahkki: Hinze, R
Almmustuhtton: (2012) -
Special Issue on Generic Programming
Dahkki: Hinze, R
Almmustuhtton: (2010) -
Generic Programming‚ Now!
Dahkki: Hinze, R, et al.
Almmustuhtton: (2007) -
Special Issue on Generic Programming Editorial
Dahkki: Hinze, R
Almmustuhtton: (2010) -
Special issue on generic programming editorial
Dahkki: Hinze, R
Almmustuhtton: (2010)