Mentions légales du service

Skip to content

F datatypes

MARTINOT Olivier requested to merge omartino/inferno:f-datatypes into master

Add algebraic datatypes in System F (along with an environment to store them). We implement a translation from ML to System F in two passes : the first pass goes from ML to a nominal representation of System F, the second goes from this to a representation using De Bruijn indices. (cc @gasche)

Merge request reports