Skip to main content
Top

New Generation Computing

Issue 1/2004

Content (3 Articles)

Regular Papers

Proofs of a set of hybrid let-polymorphic type inference algorithms

Hyunjun Eo, Oukseh Lee, Kwangkeun Yi

Premium Partner