Jérémy Buisson, Seidali Rehab. Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018. pages 488-495, SciTePress, 2018. [doi]
Abstract is missing.