Skip to main content
Conference ProceedingsOPEN ACCESS

High-Level Modelling for Typed Functional Programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2021) 12834 LNCS 69-94
DOI: 10.1007/978-3-030-83978-9_4
1Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

There 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.

Author supplied keywords

Cite

CITATION STYLE

APA

Motara, Y. M. (2021). High-Level Modelling for Typed Functional Programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12834 LNCS, pp. 69–94). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-83978-9_4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free