(1 - 7 von 12
)
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 ...
Yufei Cai, M. Phil. - Universität TübingenUniversität Tübingen
ps.cs.uni-tuebingen.de
Yufei Cai, M. Phil. ; Telephone: +49 - (0) ; Telefax: +49 - (0) ; E-Mail: yufei.cai(at)uni-tuebingen.de ; Office: B
Informatik 1, WS Universität Tübingen - uni-tuebingen.de
ps.informatik.uni-tuebingen.de
WebInformatik 1, WS Universität Tübingen. Prof. Dr. Klaus Ostermann. mit Beiträgen von Jonathan Brachthäuser, Yufei Cai, Yi Dai und Tillmann Rendel. Große Teile dieses …
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