Block or report user

Pinned repositories

  1. cem_pearl

    Cactus environment machine

    TeX

  2. cem

    Cactus Environment Machine

    C

  3. cem_coq

    Coq implemenation of CEM, along with proofs of bisimulation of call by need.

    Coq

  4. piless

    Haskell

77 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

September 2017

Seeing something unexpected? Take a look at the GitHub profile guide.