High-Level Modelling for Typed Functional Programming-Reference-Cited by-同舟云学术

High-Level Modelling for Typed Functional Programming

Published:2021 Issue: Volume: Page:69-94
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Motara Yusuf Moosa^ORCID

Abstract

AbstractThere is currently no way to model the high-level structural design of a functional system. Given the strong links between functional programming and mathematics, it is hypothesised that the language of mathematics can provide insight into how a functional system might be modelled. The approach is successful and both philosophy and the language of mathematics are used to identify the necessary modelling concepts and briefly outline some modelling notation alongside a small case study.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-83978-9_4

Reference44 articles.

1. Armstrong, D.J.: The quarks of object-oriented development. Commun. ACM (2006). https://doi.org/10.1145/1113034.1113040

2. Cardelli, L.: Type Systems. The Computer Science and Engineering Handbook (2004). https://doi.org/10.1145/234313.234418

3. Church, A.: The Calculi of Lambda Conversion (AM-6). Princeton University Press, Princeton (1941). https://doi.org/10.1515/9781400881932

4. Denning, P.J.: The profession of IT: beyond computational thinking. Commun. ACM 52(6), 28–30 (2009). https://doi.org/10.1145/1516046.1516054

5. Eklund, P., Galán, M.A., Medina, J., Ojeda-Aciego, M., Valverde, A.: A graphical approach to monad compositions. Electr. Notes Theoret. Comput. Sci. (2001). https://doi.org/10.1016/S1571-0661(05)80041-6

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

1. Functional Programming Oriented Software Design: A Systematic Literature Review;2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT);2023-11-06