An emacs-interface for type directed support constructing proofs and programs
Paper i proceeding, 2006

Författare

Catarina Coquand

Chalmers, Data- och informationsteknik, Datavetenskap

Makoto Takeyama

Dan Synek

ENTCS

Ämneskategorier

Datavetenskap (datalogi)