Browse "RIMS Collection" by Author oukseh lee

Showing results 1 to 1 of 1

1
Proofs About a Folklore Let-Polymorphic Type InferenceAlgorithm

oukseh lee; kwangkeun yi, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.20, no.4, pp.707 - 723, 1998-07

Discover

Type

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0