└── README.md /README.md: -------------------------------------------------------------------------------- 1 | # Did someone say types? 2 | 3 | - [A Simple Typed Intermediate Language for Object-Oriented Languages](http://research.microsoft.com/pubs/59934/lilc_popl05.pdf) 4 | - [A Type directed optimizing compiler for ML](http://www.cs.cmu.edu/~rwh/papers/til/pldi96.pdf) 5 | - [Algebraic methods for interactiVe proof systems](http://greg.bronevetsky.com/CS717FA2004/Byzantine/Holographic%20Proofs%20-%20Computability/Algebraic%20Methods%20for%20Interactive%20Proof%20Systems.1992.pdf) 6 | - [bird_wadler. Introduction To functional programming.1ed](http://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Introduction%20to%20Functional%20Programming.1ed.pdf) 7 | - [blame, coercion, and threesomes](http://homepages.inf.ed.ac.uk/wadler/papers/coercions/coercions.pdf) 8 | - [Callarity-TFP](http://www.joachim-breitner.de/publications/CallArity-TFP.pdf) 9 | - [Category theory for computing science](http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf) 10 | - [Engineering a compiler](https://github.com/germanoa/compiladores/blob/master/doc/ebook/Engineering%20a%20Compiler%20-%202nd%20Edition%20-%20K.%20Cooper,%20L.%20Torczon%20%28Morgan%20Kaufman,%202012%29.pdf) 11 | - [Homotopy is not concrete](https://amathew.wordpress.com/2012/01/26/homotopy-is-not-concrete/) 12 | - [Practical foundations for programming languages](http://www.cs.cmu.edu/~rwh/plbook/book.pdf) 13 | - [Programming in Martin Lof Type Theory](http://www.cse.chalmers.se/research/group/logic/book/book.pdf) 14 | - [Programming macRo tree transducers](http://www.diku.dk/~paba/pubs/files/bahr13wgp-paper.pdf) 15 | - [Proofs and types](http://www.paultaylor.eu/stable/prot.pdf) 16 | - [The programming language JigSaw mixins modularity multiple inheritance](http://www.bracha.org/jigsaw.pdf) 17 | - [Type Systems](http://lucacardelli.name/papers/typesystems.pdf) 18 | - [The two dualities Of computatiOn negative and fractional types](http://www.cs.indiana.edu/~sabry/papers/rational.pdf) 19 | - [Type theory and functional programming](https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/) 20 | - [Type theory should eat itself](http://cs.ioc.ee/~james/papers/lfmtp08_jmc.pdf) 21 | - [Why functional programming matters](https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf) 22 | --------------------------------------------------------------------------------