Giters

neutronest / PL-Lab

Experiments on Paring Techniques, Type System, Program Analysis and so on.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PL-Lab

Experiments on Paring Techniques, Type System, Program Analysis and so on.

####Interpreter

  • Lambda

####Type System

  • Algorithm W
  • First class polymorphism
  • Gradual Typing
  • Refinement types
  • Dependent Types

About

Experiments on Paring Techniques, Type System, Program Analysis and so on.

License:MIT License

Languages

Language:Racket 70.2%Language:OCaml 23.8%Language:Scala 5.1%Language:Ruby 0.5%Language:Makefile 0.3%