Robert Harper‎ > ‎

References

Showing 3 items
AuthorTitleURL
Sort 
 
Sort 
 
Sort 
 
Benjamin C. Pierce, editor Advanced Topics in Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/attapl/ 
Girard, Jean-Yves; Lafont, Yves; Taylor, Paul Proofs and Types http://www.paultaylor.eu/stable/Proofs+Types.html 
Robert Harper Practical Foundations for Programming Languages http://www.cs.cmu.edu/~rwh/plbook/book.pdf 
Showing 3 items
Comments