ML typechecking is not efficient

TitleML typechecking is not efficient
Publication TypeConference Paper
Year of Publication1989
AuthorsErnst MD
Conference NamePapers of the MIT ACM Undergraduate Conference
Date or Month PublishedApril
Citation KeyErnst89a
Last changed Mon, 2013-06-03 10:27