Luiz-Monad/gist:c7a0a05077619b1b15cd

Last active January 30, 2020 16:32

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/Luiz-Monad/c7a0a05077619b1b15cd.js"></script>
Save Luiz-Monad/c7a0a05077619b1b15cd to your computer and use it in GitHub Desktop.

Download ZIP

Did someone say Types?

Raw

gistfile1.md

[A Simple Typed Intermediate Language for Object-Oriented Languages] http://research.microsoft.com/pubs/59934/lilc_popl05.pdf
[A Type directed optimizing compiler for ML] http://www.cs.cmu.edu/~rwh/papers/til/pldi96.pdf
[algebraIc methods fOr interactiVe proOf systems] http://greg.bronevetsky.com/CS717FA2004/Byzantine/Holographic%20Proofs%20-%20Computability/Algebraic%20Methods%20for%20Interactive%20Proof%20Systems.1992.pdf
[biRd_wadleR. introduction To functionAl programming.1ed] http://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Introduction%20to%20Functional%20Programming.1ed.pdf
[blame, coercion, and threesomes] http://homepages.inf.ed.ac.uk/wadler/papers/coercions/coercions.pdf
[cAllariTY-TFP] http://www.joachim-breitner.de/publications/CallArity-TFP.pdf
[categoRy theory fOr computiNg science] http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
[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
[homotopy is not concrete] https://amathew.wordpress.com/2012/01/26/homotopy-is-not-concrete/
[practicAl foundations fOr programmiNg languages] http://www.cs.cmu.edu/~rwh/plbook/book.pdf
[programming In martIn LOf tyPe theory] http://www.cse.chalmers.se/research/group/logic/book/book.pdf
[programmiNg macRo trEe transducers] http://www.diku.dk/~paba/pubs/files/bahr13wgp-paper.pdf
[proofs aNd types] http://www.paultaylor.eu/stable/prot.pdf
[The programming languaGe JigSaw mixins modularity multiple inheritance] http://www.bracha.org/jigsaw.pdf
[THe TWo dualities Of computatiOn negative aNd fractionAl types] http://www.cs.indiana.edu/~sabry/papers/rational.pdf
[tyPe theory aNd functionAl programming] https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
[tyPe theory should eat itself] http://cs.ioc.ee/~james/papers/lfmtp08_jmc.pdf
[WHy functionAl programmiNg matters] https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment