A Brief Overview of Agda - A Functional Language with Dependent Types
Övrigt konferensbidrag, 2009
Författare
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
Peter Dybjer
Chalmers, Data- och informationsteknik, Datavetenskap
Ulf Norell
Chalmers, Data- och informationsteknik, Datavetenskap
Theorem Proving in Higher Order Logics
Vol. 5674 LNCS 73--78-
Ämneskategorier
Datavetenskap (datalogi)