(1 - 14 von 17
)
Seminar Yufei Cai WS University of TübingenUniversität Tübingen
ps.informatik.uni-tuebingen.de
Yufei Cai. WS University of Tübingen. Page 2. Contents. • What are dependent types? • Organization. • Agda and Idris. Page 3. –Wikipedia. A dependent ...
Universität Tübingen - First-class functors - uni-tuebingen.de
ps.informatik.uni-tuebingen.de
WebAlumni Yufei Cai gives an informal talk about the ongoing first-class functors project at PPS Lab, University Paris Diderot. Read more … General Information
sortiert nach Relevanz / Datum