Knowledge Base of
Publications, Seminars, & Math Library

Filter for: James T. Sasaki

3 results

Implementing Mathematics with the Nuprl Development System | cite »
by Robert L. Constable, Stuart F. Allen, H. M. Bromley, Walter Rance Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith
1986

Extracting Efficient Code from Constructive Proofs | cite »
by James T. Sasaki
1985

Optimizing Ext
by James T. Sasaki
1984-1985