- Title
- High-Level Modelling for Typed Functional Programming
- Creator
- Motara, Yusuf, M
- Date Issued
- 2021
- Date
- 2021
- Type
- text
- Type
- article
- Identifier
- http://hdl.handle.net/10962/429035
- Identifier
- vital:72555
- Identifier
- https://doi.org/10.1007/978-3-030-83978-9_4
- Description
- 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.
- Format
- 25 pages
- Format
- Language
- English
- Relation
- Trends in Functional Programming: 22nd International Symposium
- Relation
- Motara, Y.M., 2021. High-Level Modelling for Typed Functional Programming. In Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers 22 (pp. 69-94). Springer International Publishing
- Relation
- Trends in Functional Programming: 22nd International Symposium volume 2021 number 1 69 94 2021 978-3-030-83978-9
- Rights
- Publisher
- Rights
- Use of this resource is governed by the terms and conditions of the SpringerLink Terms of Use Statement ( https://link.springer.com/termsandconditions)
- Hits: 15
- Visitors: 17
- Downloads: 4
Thumbnail | File | Description | Size | Format | |||
---|---|---|---|---|---|---|---|
View Details Download | SOURCE1 | High-Level Modelling for Typed Functional Programming.pdf | 645 KB | Adobe Acrobat PDF | View Details Download |