Disco: A Functional Programming Language for Discrete Mathematics.
Brent A. YorgeyPublished in: CoRR (2023)
Keyphrases
- programming language
- functional language
- general purpose
- object oriented
- programming environment
- software engineering
- denotational semantics
- functional programming
- computer science
- strongly typed
- logic programming
- specification language
- database languages
- high level
- object oriented programming
- data abstraction
- object oriented concepts
- computer programs
- user interface
- abstract data types
- database language