A domain-theoretic semantics of lax generic functions
Theoretical Computer Science - Category theory and computer science
A computationally adequate model for overloading via domain-valued functors
Mathematical Structures in Computer Science
Type inference for record concatenation and subtyping
Information and Computation
Hi-index | 0.00 |