Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ross Paterson

Parametric Datatype-Genericity

2009English

Related publications

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