THOMPSON SIMON <br/><br/>
TYPE THEORY AND FUNCTIONAL PROGRAMMING 

 - NEWYORK  THOMPSON  1999 
 - X,365 
<br/><br/><label>ISBN: </label>9780201416671 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Functional programming (Computer science) Type theory.
<br/><br/><label>LC Class. No.: </label>QA76.62.T496 1999