1 changed files with 2 additions and 1 deletions
@ -1,5 +1,6 @@ |
|||
This is the beginnings of a little language based on a typed LC with let |
|||
and mainly inspired by these: |
|||
* http://cs.brown.edu/~sk/Publications/Books/ProgLangs/ |
|||
* http://www.cs.indiana.edu/hyplan/dfried/ts.ps |
|||
* http://www.cs.indiana.edu/hyplan/dfried/ts.ps (I plan on generating code in |
|||
trampolined style) |
|||
* http://lucacardelli.name/papers/basictypechecking.a4.pdf |
|||
|
|||
Loading…
Reference in new issue