Searching for "Calculate Polytypically!" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Calculate Polytypically!
- …Calculate Polytypically! Lambert Meertens lambert@(email omitted); Department of Algorithmics…
- Cited by 36 (3 self) – Add To MetaCart
-
Polytypic compact printing and parsing
- … with its inverse� { show how to construct and calculate with polytypic functions� { take a rst step towards…
- Cited by 18 (7 self) – Add To MetaCart
-
Generic Haskell: A Language for Generic Programming (NWO-EW Proposal)
- … theory that supports equational reasoning and calculating with polytypic functions. 4 Related work…
- Cited by 1 (0 self) – Add To MetaCart
-
Polytypic Data Conversion Programs
- … and calculate with polytypic functions. The implementation of the data conversion programs as Polyp code can…
- Cited by 20 (7 self) – Add To MetaCart
-
Beyond Fun: Order and Membership in Polytypic Imperative Programming
- … for calculating at the program level and calculating polytypically. Our approach is to lift type-structure from…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 5.
