[Fun-thursday] Slides: A Brief Intro. to Dependently Typed Programming

Shin-Cheng Mu scm at iis.sinica.edu.tw
Fri Sep 6 12:07:59 CST 2013

Next message: [Fun-thursday] Slides: A Brief Intro. to Dependently Typed Programming
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear friends,

These are my slides yesterday, 
"A Brief Intro. to Dependently Typed Programming"

http://pc-scm.iis.sinica.edu.tw/FT20130905.pdf

sincerely,
Shin
scm at iis.sinica.edu.tw

Next message: [Fun-thursday] Slides: A Brief Intro. to Dependently Typed Programming
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Fun-thursday mailing list