Lament Configuration

http://research.microsoft.com/en-us/um/cambridge/projects/comega/doc/comega_whatis.htm

2016-01-16 10:09:02 — @gdritter

Inductive Graphs and Functional Graph Analysis

http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=41E273B44E0BC41D9B3BCC6AEE3267BE?doi=10.1.1.28.9377&rep=rep1&type=pdf

2016-01-16 10:06:47 — @gdritter

Dale: Lisp-flavoured C

https://github.com/tomhrr/dale

2016-01-16 10:02:11 — @gdritter

Beluga Language

http://www.cs.mcgill.ca/~complogic/beluga/

2016-01-16 09:56:58 — @gdritter

The E Programming Language: The Vat

http://www.erights.org/elib/concurrency/vat.html

2016-01-16 09:48:04 — @gdritter

Crash Course on Notation in Programming Language Theory

http://siek.blogspot.be/2012/07/crash-course-on-notation-in-programming.html

2016-01-16 09:45:57 — @gdritter

http://futureboy.homeip.net/frinkdocs/

2016-01-16 09:41:32 — @gdritter

GCaml: ML with Extensional Polymorphism

http://web.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml/

2016-01-16 09:41:07 — @gdritter

Terra: A Low-Level Counterpart to Lua

http://terralang.org/

2016-01-16 09:40:27 — @gdritter

Intuitionistic Programming Language

http://intuitionistic.org/

2016-01-16 09:38:40 — @gdritter

Manifesto on JAR's Next Language

http://mumble.net/~jar/articles/language-manifesto.html

2016-01-16 09:38:08 — @gdritter

The Theory of Concatenative Combinators

http://tunes.org/~iepos/joy.html

2016-01-16 09:37:25 — @gdritter

5: A Stack-Based Array Language

http://archive.vector.org.uk/art10500710

2016-01-16 09:34:00 — @gdritter

first

prev

next

last