Author:
Lourenço Hugo,Ferreira Carla,Costa Seco João,Parreira Joana
Funder
Agência Nacional de Inovação
Fundação para a Ciência e a Tecnologia
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference35 articles.
1. Atlas Group. Atlas transformation language. https://wiki.eclipse.org/ATL/User_Guide
2. Bracha, G.: Generics in the Java programming language (2004). https://www.oracle.com/technetwork/java/javase/generics-tutorial-159168.pdf
3. Caires, L., Toninho, B.: Refinement kinds: type-safe programming with practical type-level computation. In: Proceedings of the ACM on Programming Languages, 3(OOPSLA), October 2019. UID/CEC/04516/2019 PTDC/EEICTP/4293/2014
4. Cardelli, L.: Phase distinctions in type theory (1988). https://www.microsoft.com/en-us/research/publication/phase-distinctions-in-type-theory/
5. Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17(4), 471–523 (1985)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Going beyond templates: composition and evolution in nested OSTRICH;Software and Systems Modeling;2024-05-20
2. User-centered Approach and Low-Code Framework for Prototyping and Income-based Education;2023 7th International Conference on New Media Studies (CONMEDIA);2023-12-06
3. 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