Amanote Research
Register
Sign In
Stratified Type Inference for Generalized Algebraic Data Types
doi 10.1145/1111037.1111058
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
François Pottier
Yann Régis-Gianas
Publisher
ACM Press
Related search
Dualizing Generalized Algebraic Data Types by Matrix Transposition
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Inference With Constrained Types
Theory and Practice of Object Systems
Ambivalent Types for Principal Type Inference With GADTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Complete Type Inference System for Subtyped Recursive Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Statistical Inference for Generalized Pareto Distribution Based on Progressive Type-Ii Censored Data With Random Removals
International Journal of Scientific World
Stratified Generalized Procrustes Analysis
A Generalized Approach for Transferring Data-Types With Arbitrary Communication Libraries
Inference for Generalized Exponential Distribution Based on Generalized Order Statistics
International Journal of Applied Mathematical Research
Bayesian Inference for Sparse Generalized Linear Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
