Amanote Research

Amanote Research

    RegisterSign In

Parametric Datatype-Genericity

doi 10.1145/1596614.1596626
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2009

Authors
Jeremy GibbonsRoss Paterson
Publisher

ACM Press


Related search

Datatype Laws Without Signatures

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
1996English

Genericity and Minimax Optimization

Mathematical Inequalities and Applications
MathematicsApplied Mathematics
2005English

Automatic Datatype Generation and Optimization

ACM SIGPLAN Notices
2012English

Web Ontology Reasoning With Datatype Groups

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

The Finite Intersection Principle and Genericity

Mathematical Proceedings of the Cambridge Philosophical Society
Mathematics
2015English

Semantic Web Datatype Inference: Towards Better RDF Matching

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

De Bruijn Notation as a Nested Datatype

Journal of Functional Programming
Software
1999English

A First-Class Approach to Genericity

ACM SIGPLAN Notices
2003English

Genericity of Classes of Observer-Based Compensators

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy