Coalgebras in functional programming and type theory.

Venanzio Capretta

Published in: Theor. Comput. Sci. (2011)

Keyphrases

functional programming
functional language
execution model
artificial intelligence
quantifier elimination
programming language
information systems
fine grained