Skip to content

Instantly share code, notes, and snippets.

@rpip

rpip/plt.org

Last active May 7, 2016 09:44
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save rpip/05e26288d54b791aae21cdda48322613 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save rpip/05e26288d54b791aae21cdda48322613 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. rpip revised this gist May 7, 2016. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -40,3 +40,4 @@

    ** Lang Design
    - https://github.com/mietek/total-functional-programming
    - [[http://www.cs.cmu.edu/~mleone/language-research.html][Programming Language Research]]
  2. rpip revised this gist May 6, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -36,7 +36,7 @@
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [[http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/][The Implementation of Functional Programming Languages]]
    - https://github.com/jsyeo/Learn-You-PLT-for-Greater-Good

    - [[http://arxiv.org/abs/1010.5023][Yacc is Dead]]

    ** Lang Design
    - https://github.com/mietek/total-functional-programming
  3. rpip revised this gist May 6, 2016. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -35,6 +35,7 @@
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [[http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/][The Implementation of Functional Programming Languages]]
    - https://github.com/jsyeo/Learn-You-PLT-for-Greater-Good


    ** Lang Design
  4. rpip revised this gist May 4, 2016. 1 changed file with 2 additions and 0 deletions.
    2 changes: 2 additions & 0 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -23,6 +23,8 @@
    - https://github.com/pi8027/typeinfer
    - Coq tutorials: https://www.youtube.com/playlist?list=PLDD40A96C2ED54E99
    - https://github.com/wh5a/Algorithm-W-Step-By-Step
    - [[https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b][Typing Haskell in Haskell]], PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf


    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
  5. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -32,7 +32,7 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [The Implementation of Functional Programming Languages,http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/]
    - [[http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/][The Implementation of Functional Programming Languages]]


    ** Lang Design
  6. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -32,7 +32,7 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [[The Implementation of Functional Programming Languages],[http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/]]
    - [The Implementation of Functional Programming Languages,http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/]


    ** Lang Design
  7. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -32,7 +32,7 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [[The Implementation of Functional Programming Languages],http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/]
    - [[The Implementation of Functional Programming Languages],[http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/]]


    ** Lang Design
  8. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -32,7 +32,7 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [[The Implementation of Functional Programming Languages]]
    - [[The Implementation of Functional Programming Languages],http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/]


    ** Lang Design
  9. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -32,7 +32,7 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/,[The Implementation of Functional Programming Languages]]
    - [[The Implementation of Functional Programming Languages]]


    ** Lang Design
  10. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -32,7 +32,7 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [[http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/],[The Implementation of Functional Programming Languages]]
    - [http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/,[The Implementation of Functional Programming Languages]]


    ** Lang Design
  11. rpip revised this gist May 4, 2016. 1 changed file with 0 additions and 1 deletion.
    1 change: 0 additions & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -1,5 +1,4 @@
    ** Type theory
    - [[https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b], [Typing Haskell in Haskell]]
    - http://okmij.org/ftp/ML/generalization.html
    - http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
    - http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
  12. rpip revised this gist May 4, 2016. No changes.
  13. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -1,5 +1,5 @@
    ** Type theory
    - [https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b, [Typing Haskell in Haskell]], PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf
    - [[https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b], [Typing Haskell in Haskell]]
    - http://okmij.org/ftp/ML/generalization.html
    - http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
    - http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
  14. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -1,5 +1,5 @@
    ** Type theory
    - [[https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b], [Typing Haskell in Haskell]], PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf
    - [https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b, [Typing Haskell in Haskell]], PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf
    - http://okmij.org/ftp/ML/generalization.html
    - http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
    - http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
  15. rpip revised this gist May 4, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -1,5 +1,5 @@
    ** Type theory
    - [[https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b], [Typing Haskell in Haskell]], PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf)
    - [[https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b], [Typing Haskell in Haskell]], PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf
    - http://okmij.org/ftp/ML/generalization.html
    - http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
    - http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
  16. rpip revised this gist May 4, 2016. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -1,5 +1,5 @@
    ** Type theory
    - [(https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b), PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf)[Typing Haskell in Haskell]]
    - [[https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b], [Typing Haskell in Haskell]], PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf)
    - http://okmij.org/ftp/ML/generalization.html
    - http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
    - http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
    @@ -33,7 +33,7 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [(http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/),[The Implementation of Functional Programming Languages]]
    - [[http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/],[The Implementation of Functional Programming Languages]]


    ** Lang Design
  17. rpip revised this gist May 4, 2016. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -1,5 +1,5 @@
    ** Type theory
    - [Typing Haskell in Haskell](https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b), PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf)
    - [(https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b), PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf)[Typing Haskell in Haskell]]
    - http://okmij.org/ftp/ML/generalization.html
    - http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
    - http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval
    @@ -33,7 +33,7 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [The Implementation of Functional Programming Languages](http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/)
    - [(http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/),[The Implementation of Functional Programming Languages]]


    ** Lang Design
  18. rpip revised this gist May 4, 2016. No changes.
  19. rpip revised this gist May 4, 2016. 1 changed file with 2 additions and 0 deletions.
    2 changes: 2 additions & 0 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -33,6 +33,8 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
    - [The Implementation of Functional Programming Languages](http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/)


    ** Lang Design
    - https://github.com/mietek/total-functional-programming
  20. rpip revised this gist May 3, 2016. 1 changed file with 3 additions and 0 deletions.
    3 changes: 3 additions & 0 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -33,3 +33,6 @@
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic

    ** Lang Design
    - https://github.com/mietek/total-functional-programming
  21. rpip revised this gist May 3, 2016. 1 changed file with 3 additions and 2 deletions.
    5 changes: 3 additions & 2 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -24,11 +24,12 @@
    - https://github.com/pi8027/typeinfer
    - Coq tutorials: https://www.youtube.com/playlist?list=PLDD40A96C2ED54E99
    - https://github.com/wh5a/Algorithm-W-Step-By-Step
    - 2014 Software Foundations in Coq — Steve Zdancewic

    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
    - http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec13-logic/logic.htm

    ** Compilers
    - http://www.stephendiehl.com/llvm/
    - http://www.stephendiehl.com/llvm/
    - https://github.com/jauhien/iron-kaleidoscope
    - 2014 Software Foundations in Coq — Steve Zdancewic
  22. rpip revised this gist May 3, 2016. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -24,6 +24,7 @@
    - https://github.com/pi8027/typeinfer
    - Coq tutorials: https://www.youtube.com/playlist?list=PLDD40A96C2ED54E99
    - https://github.com/wh5a/Algorithm-W-Step-By-Step
    - 2014 Software Foundations in Coq — Steve Zdancewic

    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
  23. rpip revised this gist May 3, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -22,7 +22,7 @@
    - https://github.com/ifesdjeen/deflisp
    - https://github.com/jozefg/hm
    - https://github.com/pi8027/typeinfer
    - https://www.youtube.com/playlist?list=PLDD40A96C2ED54E99
    - Coq tutorials: https://www.youtube.com/playlist?list=PLDD40A96C2ED54E99
    - https://github.com/wh5a/Algorithm-W-Step-By-Step

    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
  24. rpip revised this gist May 3, 2016. 1 changed file with 5 additions and 0 deletions.
    5 changes: 5 additions & 0 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -19,6 +19,11 @@
    - https://github.com/TypeFunc/coq-intro
    - https://github.com/UniversalAlgebra/Conferences
    - https://github.com/williamdemeo/TypeFunc
    - https://github.com/ifesdjeen/deflisp
    - https://github.com/jozefg/hm
    - https://github.com/pi8027/typeinfer
    - https://www.youtube.com/playlist?list=PLDD40A96C2ED54E99
    - https://github.com/wh5a/Algorithm-W-Step-By-Step

    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
  25. rpip revised this gist May 3, 2016. 1 changed file with 6 additions and 0 deletions.
    6 changes: 6 additions & 0 deletions plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -13,6 +13,12 @@
    - https://github.com/prakhar1989/type-inference
    - http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec26-type-inference/type-inference.htm
    - [Lambda The Ultimate discussion on type inference readling list](http://lambda-the-ultimate.org/node/3081)
    - https://github.com/computation-hs/comp-models
    - https://github.com/UlfNorell/agda-summer-school
    - https://github.com/coqoon/Software-Foundations
    - https://github.com/TypeFunc/coq-intro
    - https://github.com/UniversalAlgebra/Conferences
    - https://github.com/williamdemeo/TypeFunc

    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
  26. rpip renamed this gist May 3, 2016. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions type_itheory.org → plt.org
    View file
    Original file line number Diff line number Diff line change
    @@ -18,5 +18,5 @@
    - http://www.seas.upenn.edu/~cis500/current/index.html
    - http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec13-logic/logic.htm

    ** Compiler
    -
    ** Compilers
    - http://www.stephendiehl.com/llvm/
  27. rpip renamed this gist May 3, 2016. 1 changed file with 5 additions and 1 deletion.
    6 changes: 5 additions & 1 deletion type_itheory.md → type_itheory.org
    View file
    Original file line number Diff line number Diff line change
    @@ -1,3 +1,4 @@
    ** Type theory
    - [Typing Haskell in Haskell](https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b), PDF: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf)
    - http://okmij.org/ftp/ML/generalization.html
    - http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
    @@ -15,4 +16,7 @@

    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
    - http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec13-logic/logic.htm
    - http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec13-logic/logic.htm

    ** Compiler
    -
  28. rpip revised this gist May 3, 2016. 1 changed file with 2 additions and 1 deletion.
    3 changes: 2 additions & 1 deletion type_itheory.md
    View file
    Original file line number Diff line number Diff line change
    @@ -14,4 +14,5 @@
    - [Lambda The Ultimate discussion on type inference readling list](http://lambda-the-ultimate.org/node/3081)

    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
    - http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec13-logic/logic.htm
  29. rpip revised this gist May 3, 2016. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion type_itheory.md
    View file
    Original file line number Diff line number Diff line change
    @@ -12,6 +12,6 @@
    - https://github.com/prakhar1989/type-inference
    - http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec26-type-inference/type-inference.htm
    - [Lambda The Ultimate discussion on type inference readling list](http://lambda-the-ultimate.org/node/3081)
    -

    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html
  30. rpip renamed this gist May 3, 2016. 1 changed file with 4 additions and 1 deletion.
    5 changes: 4 additions & 1 deletion type_inference.md → type_itheory.md
    View file
    Original file line number Diff line number Diff line change
    @@ -11,4 +11,7 @@
    - http://dev.stephendiehl.com/fun/WYAH.pdf
    - https://github.com/prakhar1989/type-inference
    - http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec26-type-inference/type-inference.htm
    - [Lambda The Ultimate discussion on type inference readling list](http://lambda-the-ultimate.org/node/3081)
    - [Lambda The Ultimate discussion on type inference readling list](http://lambda-the-ultimate.org/node/3081)
    -
    - http://www.cis.upenn.edu/~bcpierce/tapl/index.html
    - http://www.seas.upenn.edu/~cis500/current/index.html