Author:
Ismailova Larisa,Wolfengagen Viacheslav,Kosikov Sergey
Reference20 articles.
1. Alam, O., Kienzle, J., 2012. Designing with inheritance and composition, in: Proceedings of the 3rd International Workshop on Variability & Composition, ACM, New York, NY, USA. pp. 19–24. URL: http://doi.acm.org/10.1145/2161996.2162002, doi:10.1145/2161996.2162002.
2. Awodey, S., 2018. A cubical model of homotopy type theory. Annals of Pure and Applied Logic 169, 1270 – 1294. URL: http://www.sciencedirect.com/science/article/pii/S0168007218300861, doi:https://doi.org/10.1016/j.apal.2018.08.002. logic Colloquium2015.
3. Battell, C., Felty, A., 2016. The logic of hereditary harrop formulas as a specification logic for hybrid, in: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, ACM, New York, NY, USA. pp. 3:1–3:10. URL: http://doi.acm.org/10.1145/2966268.2966271, doi:10.1145/2966268.2966271.
4. The Functional Approach to Programming;Cousineau,1998
5. Ernst, E., 2013. Inheritance versus parameterization, in: Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance, ACM, New York, NY, USA. pp. 26–29. URL: http://doi.acm.org/10.1145/2489828.2489832, doi:10.1145/ 2489828.2489832.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献