Complement-Based Bidirectionalization J. Voigtl¨ander University of Bonn Dagstuhl Seminar “bx”

Source URL: www.janis-voigtlaender.eu

Combining Syntactic and Semantic Bidirectionalization J. Voigtl¨ander1 Z. Hu2 K. Matsuda3 M. Wang4 1 University 2 NII

Source URL: www.janis-voigtlaender.eu

2015 年 4 月発行 大鹿村ジオツアーのお知らせ 今年８月、中央構造線博物館では大鹿村内 のジオサイトを巡るツアーを企画しています。 昨年９月に実施した日本ジ

Source URL: www.osk.janis.or.jp

2014 年 7 月発行 「笹山ハイキング」 参加者募集のお知らせ 大鹿村では、ジオパーク全国大会のツアーとして、9 月 30 日（火）に笹山へのハイキングを企 画してい

Source URL: www.osk.janis.or.jp

PDF Document

Source URL: www.osk.janis.or.jp

PDF Document

Source URL: www.osk.janis.or.jp

Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Recursion
• Fold
• FO
• Haskell features
• Standard ML

Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Declarative programming
• Data types
• Computing
• Type theory
• Functional programming
• Object-oriented programming
• Polymorphism
• Map
• Ordinal number
• Boolean data type
• CurryHoward correspondence

2015 年 6 月発行 － 2015 年夏のイベント 参加者募集中！－ 「第 16 回 地震火山こどもサマースクール in 南アルプス」  期日：8 月 8 日（土）～ 8 月 9 日（日）1 泊

Source URL: www.osk.janis.or.jp

2016 年 7 月発行 ろくべん館だより Vol.44

Source URL: www.osk.janis.or.jp