Simple Extensible Programming through Precisely-Typed Open Recursion.

Published in: SPLASH Companion (2022)

Keyphrases

higher order
programming language
multiscale
development environment
highly flexible
database
real time
data model
object oriented
source code
markup language
highly reliable