| 
|
Quote: Kleisli and its self-describing data exchange use parametric polymorphism and type inference; from functional programming
topics >
all references >
references t-z >
Topic:
functional programming
Topic:
translation of data
Topic:
type algebras, typed lambda calculus, and type-complete languages
Topic:
generic operations and polymorphism
Quotation Skeleton
Of the many discoveries by the functional programming … Kleisli's self-describing data exchange format is also a … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: functional programming (43 items)
Topic: translation of data (26 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: generic operations and polymorphism (65 items)