A Brief Overview of Agda - A Functional Language with Dependent Types - Sciweavers

78

click to vote

more TPHOL 2009 ...

www.cs.chalmers.se

Tweet