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