Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Oukseh Lee
Institution:
Korea Advanced Institute of Science and Technology
Observed institution:
Korea Advanced Institute of Science and Technology
OpenAlex ID:
A5041455165
Proofs about a folklore let-polymorphic type inference algorithm
1998
·
Oukseh Lee
, Kwangkeun Yi
·
ACM Transactions on Programming Languages and Systems
·
122
PDF
A Generalized Let-Polymorphic Type Inference Algorithm
2000
·
Ropas Memo
, Oukseh Lee
, et al.
·
21
Proofs of a set of hybrid let-polymorphic type inference algorithms
2004
·
Hyunjun Eo
, Oukseh Lee
, et al.
·
New Generation Computing
·
10
A proof method for the correctness of modularized 0CFA
2002
·
Oukseh Lee
, Kwangkeun Yi
, et al.
·
Information Processing Letters
·
10
Inserting Safe Memory Reuse Commands into ML-Like Programs
2003
·
Oukseh Lee
, Hongseok Yang
, et al.
·
Lecture notes in computer science
·
5
Modularization of 0-CFA Makes It Polyvariant
2000
·
Ropas Memo
, Oukseh Lee
, et al.
Reconstructing the Types of Stack-Machine Codes
1999
·
Ropas Memo
, Oukseh Lee
, et al.
Show more works
View as search
Works count:
14
Citation count:
168
H-index:
5
I10-index:
4
Year
Topic
Type
