2008 Formosan Summer School on Logic, Language, and Computation (FLOLAC '08) http://flolac.iis.sinica.edu.tw/flolac08/ 2011-04-28T06:18:20+08:00 2008 Formosan Summer School on Logic, Language, and Computation (FLOLAC '08) http://flolac.iis.sinica.edu.tw/flolac08/ http://flolac.iis.sinica.edu.tw/flolac08/lib/images/favicon.ico text/html 2009-05-16T13:15:53+08:00 Tyng-Ruey Chuang en http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=en&rev=1242450953&do=diff [To the Chinese homepage] Welcome to the draft homepage of 2008 Formosan Summer School on Logic, Language, and Computation (2008 邏輯、語言與計算暑期研習營). * Handouts for Semantics of Functional Programming Languages are now online. * [2008/06/15] Slides for Introduction to Functional Programming and the Hindley-Milner Type System are now online. * [2008/06/11] Course materials for Logic, Program Construction, Partial Evaluation, and Interpreting Types as Abstract Value… text/html 2008-07-13T17:57:58+08:00 Max Schaefer logic http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=logic&rev=1215943078&do=diff Instructor: Max Schaefer This lecture aims to provide students with the logical background knowledge needed to understand and appreciate the other lectures. None * Classical logic (propositional, first order) and its semantics * Intuitionistic logic (propositional, first order), natural deduction, basic proof theory * The Curry-Howard isomorphism text/html 2008-07-12T08:23:41+08:00 Shin-Cheng Mu start http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=start&rev=1215822221&do=diff [To the English homepage] 暨「高等程式語言與型態系統」 (Advanced Programming Languages and Type Systems) 暑期課程碩士學分班。 * [2008/07/11] FLOLAC 2008 結束! * [2008/07/10] 07/04,07, 07/08,09 照片上網。 * [2008/07/04] 函數式程式語言的語意講義更新;投影片、習題上網。 * [2008/07/04] 06/30, 07/01, 07/02, 07/03 照片上網。 * [2008/06/30] Oleg Kiselyov 7/11 特別演講 Clicking on Delimited Continuations 詳情公佈。 * [2008/06/30] 程式語言同好社群嵐達網啟用。歡迎學員註冊帳號,在這邊討論相關話題。 * [2008/06/30] 研習營第一天正式開始! * [2008/06/24] 函數式程式語言的語意講義上網。 * [2008/06/15] 函數式程式設計與型態推演… text/html 2008-07-11T09:51:37+08:00 Shin-Cheng Mu fp http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=fp&rev=1215741097&do=diff Lecturer: 陳恭 Kung Chen * Slides, patch slides 1 (eta conversion), and patch slides 2 (LC evaluator). * Through out the course we will be mostly using Hugs, a popular Haskell interepreter. * Windows users may download WinHugs Sep 2006 (14MB self extracting .EXE), a windows implementation with a graphical interface. * Unix and Mac OS X users please visit the Hugs homepage to download Hugs for these platforms. * Windows Vista users: seems that you have to expand the self extracti… text/html 2008-07-10T22:18:49+08:00 Shin-Cheng Mu derivation http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=derivation&rev=1215699529&do=diff Lecturer: 穆信成 Shin-Cheng Mu Bird-Meertens style functional program derivation. * Handouts. * Slides. * Assignment #1, with solutions to in-class exercises, and full solutions. * Assignment #2, with solutions to in-class exercises, and full solutions. * Exercise for Day 3. * Supplementary Haskell code. text/html 2008-07-08T15:22:37+08:00 Tyng-Ruey Chuang semantics http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=semantics&rev=1215501757&do=diff Lecturer: Tyng-Ruey Chuang 莊庭瑞 The purpose of this course is to equip students with basic knowledge of denotational semantics of functional programming languages. None. * A functional programming language. * Complete partial orders, continuous functions, fixed points. * Denotational semantics of recursive programs. * Proving properties of functional programs.