September 2013 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri Sep 6 12:07:59 CST 2013
Ending: Sat Sep 7 00:04:20 CST 2013
Messages: 3

• [Fun-thursday] Slides: A Brief Intro. to Dependently Typed Programming   Shin-Cheng Mu
  • [Fun-thursday] Slides: A Brief Intro. to Dependently Typed Programming   suhorng Y
• [Fun-thursday] #5: Write Yourself a Toy \lambda-Calculus Virtual Machine   suhorng Y

Last message date: Sat Sep 7 00:04:20 CST 2013
Archived on: Sat Sep 7 00:04:44 CST 2013

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...