Extensible Metatheory Mechanization via Family Polymorphism.

Ende Jin Nada Amin Yizhou Zhang

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

special case
machine intelligence
markup language
genetic algorithm
data model
object oriented
application specific
social networks
knowledge base
case study
image segmentation
search algorithm
pattern recognition