2008 Formosan Summer School on Logic, Language, and Computation (FLOLAC '08)
http://flolac.iis.sinica.edu.tw/flolac08/
2011-04-28T06:18:20+08:002008 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.icotext/html2008-06-11T10:29:54+08:00abs-value
http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=abs-value&rev=1213151394&do=diff
We expound a view of type checking as evaluation with `abstract values'. Whereas dynamic semantics, evaluation, deals with (dynamic) values like 0, 1, etc., static semantics, type checking, deals with approximations like int. A type system is sound if it correctly approximates the dynamic behavior and predicts its outcome: if the static semantics predicts that a term has the type int, the dynamic evaluation of the term, if it terminates, will yield an integer.text/html2008-05-30T19:08:11+08:00admitted
http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=admitted&rev=1212145691&do=diff
* 以台灣大學推廣教育網之公告為準。
* 請錄取之學員等待繳費通知及上課須知。
* 備取學員若得到錄取將依序通知。可電洽台大進修推廣部確認: 02-23620502 分機 211 俞小姐。
報名編號/准考證號 報名者姓名 錄取與否 DADAA02010A0001 薛共和 正取 DADAA02010A0002 林珍綺 正取 DADAA02010A0003 蔡依珊 正取 DADAA02010A0004 蔡明亨 正取 DADAA02010A0006 柯國偉 正取 DADAA02010A0007 林業勝 …text/html2008-07-01T00:38:05+08:00delimited-cont
http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=delimited-cont&rev=1214843885&do=diff
Speaker: Oleg Kiselyov, Fleet Numerical Meteorology and Oceanography Center.
* Date: Friday, July 11, 2008.
* Time : 2pm - 4pm.
* Location: 中央研究院資訊科學所 新館106演講廳, Auditorium 106 at new IIS Building.
The talk is opened to everyone. 公開演講,歡迎參加。text/html2008-07-10T22:18:49+08:00derivation
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/html2009-05-16T13:15:53+08:00en
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/html2008-07-11T09:51:37+08:00fp
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/html2008-07-13T17:57:58+08:00logic
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 isomorphismtext/html2008-06-26T22:27:47+08:00partial-eval
http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=partial-eval&rev=1214490467&do=diff
Lecturer: Neil D. Jones
Interpreters, compilers, program specialisers.
Lecture Notes:
* Datalogi V - Programming Languages, Chapter 3: Programs as data objects, by N. D. Jones. University of Copenhagen, 2007.
* Datalogi V - Programming Languages, Chapter 4: Partial Evaluation, Compiling, and Compiler Generation, by N. D. Jones.University of Copenhagen, 2007.
* Partial Evaluation and Automatic Program Generation, Chapter 16.2: Types for interpreters, compilers, and program specialise…text/html2008-07-08T15:22:37+08:00semantics
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.text/html2008-07-12T08:23:41+08:00start
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/html2008-04-12T00:31:08+08:00transportation
http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=transportation&rev=1207931468&do=diff
* 日期: 2007 年七月二日(週一)至七月十三日(週五)
* 時間: 每週一至週五早上九點至下午五點,依課程排定時間上課
* 地點: 中央研究院資訊科學研究所 新館一樓 106 教室
* 中央研究院位置圖
* 中央研究院院區圖。資訊科學研究所為編號 32 之建築物。