本課程於台灣大學暑期第一梯次開授，為三學分之選修課，正式課號與課名為：「725 U3500 程式語言理論與型態系統」。

• 台大在校學生
  • 請至國立台灣大學暑期課程網選課。
  • 網路初選時間: 2014 年 6 月 12 日 至 6 月 13 日每天 9 時至 24 時（採登記分發方式）。
  • 初選結果查詢時間為 06/18（三）上午 9 時。
  • 人工加退選: 2014 年 6 月 19 日 至 6 月 20 日每天 9 時至 24 時（採即時加退選方式）。
• 非台大學生
  • 可至國立台灣大學暑期課程網辦理「外校學生上網報名」。
  • 網路選課: 2014 年 6 月 4 日 至 6 月 5 日。
  • 請於選課後列印兩份申請書並送交修課學生所屬學校核定，於 2014 年 6 月 12 日 攜帶申請書兩份、學生證、學分費至台大教務處繳交。
  • 請參閱修課學生所屬學校跨校選修暑期課程之相關規定。
• 台大及非台大學生若錯過選課時程，仍可來信報名旁聽，請於 06/25 前來信至 。
• 無學籍之社會人士若欲報名參加，請於 06/25 前聯絡 。

• 因場地及實習制度限制，修課人數上限40人（含非台大學生），敬請把握時間，於時程內提早選課。
• 因場地及實習制度限制，旁聽人數上限50人（獨立於修課人數），報名從速；旁聽名單將即時更新於本站。
• 7/1（唐鳳）及 7/10（陳恭）的邀請演講不在人數限制中，有意旁聽者請自行填寫邀請演講報名表格。（已修課／報名旁聽成功者不需填寫）

1. 資訊、電機、數學相關學系在學大學生，或
2. 資訊、電機、數學相關學系研究所在學學生，或
3. 專科或大學畢業，現從事資訊相關行業工作者。

• 課名：程式語言理論與型態系統
• 課號：725 U3500
• 上課時間：103/06/30—103/07/11，周一至周五 9:00—17:00 全日

• 本課程為 102 學年暑期課程第 1 期之第二類課程。
• 本課程為暑期密集課程，上課時間為自 6/30 至 7/11 之每周一至周五全日且需全程參與。
• 如與其他暑期課程衝堂者不可選讀。
• 接受外校學生報名，限 30 人。
• 請參加者自備電腦，可預先安裝 Haskell 和 Agda 環境，亦可於第一天實習時間安裝。
• 更多細節請參考台大暑期課程網。

• 台大在校生
  • 不收費用，但下列學生需繳交每學分新台幣 1150 元：
    • 學士班延畢生於學期中修習 9 學分(含)以下者。
    • 進修學士班學生。
    • 當學年度第二學期休學學生。
• 非台大學生
  • 每學分新台幣 1380 元。
• 旁聽
  • 旁聽者無法獲得學分證明，免收任何報名費用；唯講義數量有限，旁聽不保證提供講義，可自行上網下載電子檔。

• 欲選課之台大學生請於 5/02 至 5/07 之間上暑期課程網登記修課以利課程開設（教學）；注意登記修課後仍需於 6/12 至 6/13 之間上網登記選課。
• 台大在學生當年度第 2 學期已達退學標準之學生不得修習暑期課程。
• 台大在學生暑期所選學分數最多不得超過 16 學分。
• 台大學生已選課且經審核符合修課資格者，請於 7/03 至 7/07 網路列印繳費單並至銀行繳納學分費。
• 更多細節請參考台大暑期課程網。

• 就讀國內、外大學校院之外校學生應經本校教學單位及學生就讀學校同意，自行上網報名。
• 請於 6/04 至 6/05，至「本校暑期課程網站之公佈欄」點選「外校學生報名臺大暑期課程」並填妥外校學生至臺灣大學暑修申請書。完畢後請按「確定送出資料」鈕，並列印2份申請書。
• 請先經修課學生所屬學校核定後，於 6/12 持下列資料與費用至本校繳交查驗，逾期不予受理。
  • 申請書二份
  • 學生證
  • 學分費
• 若無法親自繳交申請書及學分費，可委託他人攜帶修課同學之學生證前往繳驗。
• 更多細節請參考台大暑期課程網。
• 臺大僅提供課程，修課學生學校仍保留承認學分之權利，請參閱修課學生所屬學校跨校選修暑期課程之相關規定。

如有選課問題請聯絡 或 。