ML Anthology

Letovsky, Stanley

2 publications

AAAI 1990 Operationality Criteria for Recursive Predicates Stanley Letovsky
IJCAI 1987 Program Understanding with the Lambda Calculus Stanley Letovsky