Janis - PDFSEARCH.IO - Document Search Engine

Janis
Results: 700

#	Item
71	2015 年 11 月発行ろくべん館だより Vol.42 Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2016-03-25 04:01:46
72	Bidirectional Transformations — a PL perspective BIRS meeting on BX, 2013 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Bidirectional transformation Scheveningen system Attitude
73	SS 2011 Deskriptive Programmierung Dozent(en): Jun-Prof. Dr. Janis Voigtländer Wie regelmäßig hast du die Vorlesung besucht \| How regularly have you attended this lecture ? [Keine Wertung \| No answer] 0 Add to Reading List Source URL: www.fachschaft.info Language: German
74	Komposition von Baumu ¨ bersetzern als Programmtransformation Janis Voigtl¨ ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11
75	Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Data types Ordinal number Wellfoundedness Boolean data type Mathematical logic Computing Mathematics Type theory
76	2014 年 11 月発行ろくべん館だより Vol.40 Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2016-03-25 04:01:49
77	Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Type theory Parametricity Polymorphism Ordinal number Constructible universe Functional programming Proof theory CurryHoward correspondence Net
78	Optimizing Signal Graphs for Functional-Reactive Programs Janis Voigtl¨ander University of Bonn July 28th, 2015 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functional languages Elm Py CX
79	2016 年 2 月発行 0 ― 博物館イベント案内 ― 講演会「エコパークってなんだろう？」 Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2016-02-12 20:30:48
80	Fortgeschrittene Funktionale Programmierung 2. und 3. Vorlesung Janis Voigtl¨ander Universit¨ Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11

UPDATE