Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types.

Jrmy Buisson, Seidali Rehab

Browse the full MODELSWARD paper archive.