Matteo Cimini

Advanced
@mcimini
www.cimini.info

Gradualizer. Supporting tool for Gradual Typing

16

lang-n-prove. Lang-n-Prove: A Proof Language for Language Proofs

4

GradualizerDynamicSemantics. A Gradualizer for the Dynamic Semantics of Gradually Typed Languages

3

lang-n-play. Lang-n-play: A language-oriented programming language with languages as first-class citizens.

2
4
Apply