Lightweight Functional Logic Meta-Programming.

Nada Amin William E. Byrd Tiark Rompf

Published in: APLAS (2019)

Keyphrases

lightweight
programming language
functional language
logic programming
classical logic
modal logic
object oriented programming
low cost
logic programs
software systems
application development
functional programming
programs written
communication infrastructure
declarative programming