Fyr: a memory-safe and thread-safe systems programming language.

Torben Weis Marian Waltereit Maximilian Uphoff

Published in: SAC (2019)

Keyphrases

programming language
general purpose
object oriented
high level
object oriented programming
database languages
strongly typed
denotational semantics
software engineering
programming environment
functional programming
databases
specification language
functional language
high level programming language