Nested OSTRICH-Reference-Cited by-同舟云学术

Nested OSTRICH

Published:2022-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Seco João Costa¹,Lourenço Hugo²,Parreira Joana¹,Ferreira Carla¹

Affiliation:

1. NOVA University Lisbon, Caparica, Portugal

2. OutSystems, Lisbon, Portugal

Funder

Portuguese Foundation for Science and Technology

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3550355.3552442

Reference31 articles.

1. Atlas 2015. Atlas transformation language. https://wiki.eclipse.org/ATL/User_Guide. Last visited in 2022-05-11. Atlas 2015. Atlas transformation language. https://wiki.eclipse.org/ATL/User_Guide. Last visited in 2022-05-11.

2. Gilad Bracha. 2004. Generics in the Java Programming Language. https://www.oracle.com/technetwork/java/javase/generics-tutorial-159168.pdf. Gilad Bracha. 2004. Generics in the Java Programming Language. https://www.oracle.com/technetwork/java/javase/generics-tutorial-159168.pdf.

3. Refinement kinds: type-safe programming with practical type-level computation

4. Luca Cardelli . 1988. Phase Distinctions in Type Theory. (January 1988 ). https://www.microsoft.com/en-us/research/publication/phase-distinctions-in-type-theory/ Luca Cardelli. 1988. Phase Distinctions in Type Theory. (January 1988). https://www.microsoft.com/en-us/research/publication/phase-distinctions-in-type-theory/

5. On understanding types, data abstraction, and polymorphism

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Derivations with Holes for Concept-Based Program Synthesis;Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2022-11-29