A Formalism to Model Higher-Order Function
ContributorsMorard, Damien
PublisherNew York : ACM
Publication date2020
Abstract
Keywords
- High-level Petri nets
- Modeling
- Higher-order function
Affiliation entities
Research groups
Citation (ISO format)
MORARD, Damien. A Formalism to Model Higher-Order Function. In: Programming ’20: Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming. New York : ACM, 2020. p. 219–220. doi: 10.1145/3397537.3398479
Main files (1)
Proceedings chapter (Published version)
Identifiers
- PID : unige:135940
- DOI : 10.1145/3397537.3398479
ISBN978-1-4503-7507-8