FLOLAC 2016
Registration
Courses
Calendar
Functional Programming
λ Calculus and Types
Elementary Logic
Martin-Löf Type Theory
Dependently Typed
Programming
Invited Talk
Special Lecture
中文
English
特別講座:概率編程與塑模初探 (The taste of probabilistic programming and modeling)
Lecturer:
Oleg Kiselyov
日本東北大学電気・情報系
住井・松田研究室
The taste of probabilistic programming and modeling