Friedman, Daniel P., <br/><br/>
Little typer / 
 The Little typer 
Daniel P. Friedman and David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. 
 - Cambridge :  The MIT Press,  2018. 
 - xiii, 403 pages :  illustrations :  23 cm. 
<br/><br/><label>ISBN: </label>9780262536431 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Functional programming (Computer science)<br/>Logic programming.<br/>Computer logic.<br/>Type theory.
<br/><br/><label>Dewey Class. No.: </label>005.1015113 FRI