Commit Graph

12 Commits

Author SHA1 Message Date
lukeg101
139394f3c3 added handlers in action paper 2017-10-20 20:51:21 +01:00
lukeg101
e7880409d3 added extensible effects references 2017-10-20 20:39:51 +01:00
lukeg101
b2812e737a added fold fusion paper 2017-10-20 20:28:28 +01:00
lukeg101
ac0e42bc5e added datatypes a la carte and handlers in scope papers 2017-10-20 20:23:14 +01:00
lukeg101
282b474f5f added canonical mt paper 2017-10-20 20:17:01 +01:00
lukeg101
05c35efb15 added Wadler essence of FP paper 2017-10-20 20:13:17 +01:00
lukeg101
1daef69f06 added Moggi reference 2017-10-20 20:09:40 +01:00
Darren_N
deaa62afa2 Update README.md 2017-09-05 15:25:28 -04:00
Luis Rascão
5a84364329 Add two Erlang papers covering core VM subjects (#476) 2017-08-17 12:11:35 -04:00
Z. H
f936bcbe45 Add Erlang papers (#469) 2017-07-22 08:34:32 -04:00
Jonathan Schuster
c74663d152 Add the Sketch-n-Sketch paper (#412) 2016-08-29 20:56:18 -07:00
Joe Reynolds
5af1fef111 Move languages into languages dir. Move 'tdd' dir into testing (#403)
* add languages dir

* moved files into language sub dir

* move tdd into testing
2016-07-10 23:04:17 -04:00