Swipe-and-Tap Functional Programming.

Michael Homer Craig Anslow

Published in: ISS Companion (2022)

Keyphrases

functional programming
functional language
quantifier elimination
programming language
execution model
object oriented programming
information systems
database systems
query language
management system
software engineering
logic programs
distributed databases