http://flolac.iis.sinica.edu.tw/flolac08/ 2011-04-28T06:18:20+08:00 http://flolac.iis.sinica.edu.tw/flolac08/ http://flolac.iis.sinica.edu.tw/flolac08/lib/images/favicon.ico text/html 2008-06-11T10:29:54+08:00 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/html 2008-05-30T19:08:11+08:00 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/html 2008-07-01T00:38:05+08:00 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/html 2008-07-10T22:18:49+08:00 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 2009-05-16T13:15:53+08:00 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-11T09:51:37+08:00 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-13T17:57:58+08:00 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-06-26T22:27:47+08:00 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/html 2008-07-08T15:22:37+08:00 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/html 2008-07-12T08:23:41+08:00 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-04-12T00:31:08+08:00 http://flolac.iis.sinica.edu.tw/flolac08/doku.php?id=transportation&rev=1207931468&do=diff * 日期: 2007 年七月二日（週一）至七月十三日（週五） * 時間: 每週一至週五早上九點至下午五點，依課程排定時間上課 * 地點: 中央研究院資訊科學研究所 新館一樓 106 教室 * 中央研究院位置圖 * 中央研究院院區圖。資訊科學研究所為編號 32 之建築物。