Paper Info
Title
Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types
Abstract
We propose a uniform and systematic way of constructing solutions (in any admissible shape) for systems of subtype inequalities. It is done via systems which we call interval systems.
Year
DOI
Venue
1999
10.1007/3-540-48340-3_41
MFCS
Keywords
Field
DocType
type reconstruction,interval system,admissible shape,subtype inequality,functional programs,atomic types,functional programming
Discrete mathematics,Lambda calculus,Lattice (order),Functional programming,Computer science,Subtyping
Conference
ISBN
Citations 
PageRank 
3-540-66408-4
0
0.34
References 
Authors
6
1
Name
Order
Citations
PageRank
Jerzy Tiuryn11210126.00