TIL: a type-directed, optimizing compiler for ML (with retrospective)

David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee. TIL: a type-directed, optimizing compiler for ML (with retrospective). In Kathryn S. McKinley, editor, 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection. pages 554-567, ACM, 1996. [doi]

Authors

David Tarditi

This author has not been identified. Look up 'David Tarditi' in Google

J. Gregory Morrisett

This author has not been identified. Look up 'J. Gregory Morrisett' in Google

Perry Cheng

This author has not been identified. Look up 'Perry Cheng' in Google

Christopher A. Stone

This author has not been identified. Look up 'Christopher A. Stone' in Google

Robert Harper

Identified as Robert Harper

Peter Lee

This author has not been identified. Look up 'Peter Lee' in Google