Cleanit

/architecture/Programming Language Theory (Concepts)/Type Theory/Pierce ed. Advanced Topics in Types and Programming Languages, 2005 (MIT Press).pdf

/architecture/Programming Language Theory (Concepts)/Type Theory/Gunter. The Semantics of Types in Programming Languages.pdf

/architecture/Programming Language Theory (Concepts)/Type Theory/Harper. Type Systems for Programming Languages.pdf

/architecture/Programming Language Theory (Concepts)/Type Theory/Hui et al. Type system in programming languages.pdf

/architecture/Programming Language Theory (Concepts)/Mitchell. Foundations for programming languages, 1996 (MIT).pdf

/architecture/Programming Language Theory (Concepts)/Sebesta. Concepts of Programming Languages, 5ed, 2001 (AW).pdf

/architecture/Programming Language Theory (Concepts)/Harper. Practical Foundations for Programming Languages, draft, 2008 .pdf

/architecture/Programming Language Theory (Concepts)/Friedman et al. Essentials of Programming Languages.pdf

/architecture/Programming Language Theory (Concepts)/Type Theory/Thompson. Type Theory and Functional Programming, 1999.pdf

/architecture/Programming Language Theory (Concepts)/Semantics/Tennent. Semantics of programming languages (PH), 1991.djvu

/architecture/Programming Language Theory (Concepts)/Semantics/Dybjer. Category theory and programming language semantics_ An overview .pdf

/architecture/Programming Language Theory (Concepts)/Type Theory/Nordstrom et al. Programming in Martin-Lof's Type Theory, 1989.pdf

/architecture/Programming Language Theory (Concepts)/Type Theory/Odersky et al. Theory of Objects with Dependent Types.pdf

/architecture/Programming Language Theory (Concepts)/Type Theory/Kamareddine Laan Nederpelt - A Modern Perspective on Type Theory.pdf

/architecture/Programming Language Theory (Concepts)/FunProg/Trends in Functional Programming, vol.7, 2007.pdf

Showing first 15 files of 3798 total files