Login / Signup
A Categorical Programming Language.
Tatsuya Hagino
Published in:
CoRR (2020)
Keyphrases
</>
programming language
general purpose
programming environment
object oriented
logic programming
high level
database languages
software engineering
specification language
strongly typed
object oriented programming
database language
programming paradigms
concurrent programming
denotational semantics
machine learning