Permalink
Switch branches/tags
Nothing to show
Commits on Sep 8, 2016
  1. change to public link

    namin committed Sep 8, 2016
  2. add Dsubsup and Ddiamond

    namin committed Sep 8, 2016
  3. consistency

    namin committed Sep 8, 2016
  4. link to OOPSLA'16 DOT preprint

    namin committed Sep 8, 2016
Commits on Jul 16, 2016
  1. Update README.md

    namin committed Jul 16, 2016
Commits on Jul 15, 2016
  1. Update README.md

    namin committed Jul 15, 2016
  2. Update README.md

    namin committed Jul 15, 2016
  3. Update README.md

    namin committed Jul 15, 2016
  4. Update README.md

    namin committed Jul 15, 2016
Commits on Jun 6, 2016
  1. Update README.md

    namin committed Jun 6, 2016
  2. oxford comma

    namin committed Jun 6, 2016
Commits on May 29, 2016
Commits on Apr 7, 2016
  1. remove fool branch from master

    namin committed Apr 7, 2016
  2. Fix FOOL code link

    namin committed Apr 7, 2016
  3. historical dev

    namin committed Apr 7, 2016
Commits on Dec 4, 2015
  1. add old slides from Scala Days

    namin committed Dec 4, 2015
Commits on Oct 7, 2014
  1. Merge pull request #1 from smarter/master

    namin committed Oct 7, 2014
    Fix typo in NEW rule
Commits on Oct 6, 2014
  1. Fix typo in NEW rule

    smarter committed Oct 6, 2014
Commits on Aug 1, 2013
  1. just indentation

    namin committed Aug 1, 2013
  2. eval safe app case

    namin committed Aug 1, 2013
  3. eval safe tget case

    namin committed Aug 1, 2013
  4. eval safe tnew case

    namin committed Aug 1, 2013
  5. eval safe num and var case

    namin committed Aug 1, 2013
Commits on Jul 31, 2013
  1. subtyping regular

    namin committed Jul 31, 2013
  2. Lookup safe.

    namin committed Jul 31, 2013
  3. Following new development up to subtyping transitivity.

    namin committed Jul 31, 2013
    TODO:
    - For the environment, we still do a lookup globally, so for overwritten
    vars that might be a problem. Do the stratified wf-env instead.
    - Finish type safety proof following Tiark's test7.elf.
Commits on Jul 6, 2013
  1. Some TODOs. We're almost there!

    namin committed Jul 6, 2013
    @TiarkRompf -- Do you agree that the TODO I am not sure about is weird,
    or not?
  2. getter case

    namin committed Jul 6, 2013
  3. get rid of TTyp case when typing new?

    namin committed Jul 6, 2013
    @TiarkRompf -- does it make sense?
  4. app case of safety lemma

    namin committed Jul 6, 2013
    some TODOs that seem more or less straightforward.
  5. Invert subtype of arrow type.

    namin committed Jul 6, 2013