Functional Programming in Pattern-Match-Oriented Programming Style.

Satoshi Egi Yuichi Nishiwaki

Published in: Art Sci. Eng. Program. (2020)

Keyphrases

functional programming
oriented programming
functional language
quantifier elimination
programming language
object oriented
execution model
pattern matching
object oriented programming
database
databases
general purpose