Special issue on Programming with Dependent Types Editorial.

Wouter Swierstra Peter Dybjer

Published in: J. Funct. Program. (2017)

Keyphrases

special issue
international journal
ai edam
ecml pkdd
applied intelligence
special section
programming environment
databases
programming language
soft computing