Results 1 -
1 of
1
Functional Generic Programming and Type Theory
, 2002
"... Functional generic programming is an area of research concerning programs parameterized by types. Such parameterization is a powerful method of abstraction that allows the programmer to dene and reuse common patterns of computation that work over many dierent datatypes. ..."
Abstract
-
Cited by 5 (3 self)
- Add to MetaCart
Functional generic programming is an area of research concerning programs parameterized by types. Such parameterization is a powerful method of abstraction that allows the programmer to dene and reuse common patterns of computation that work over many dierent datatypes.
