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

149

click to vote

more TPHOL 2009 ...

www.cs.chalmers.se

Tweet