Amanote Research
Register
Sign In
Parametric Datatype-Genericity
doi 10.1145/1596614.1596626
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2009
Authors
Jeremy Gibbons
Ross Paterson
Publisher
ACM Press
Related search
Datatype Laws Without Signatures
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Genericity and Minimax Optimization
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
Automatic Datatype Generation and Optimization
ACM SIGPLAN Notices
Web Ontology Reasoning With Datatype Groups
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Finite Intersection Principle and Genericity
Mathematical Proceedings of the Cambridge Philosophical Society
Mathematics
Semantic Web Datatype Inference: Towards Better RDF Matching
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
De Bruijn Notation as a Nested Datatype
Journal of Functional Programming
Software
A First-Class Approach to Genericity
ACM SIGPLAN Notices
Genericity of Classes of Observer-Based Compensators
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization