Janis - PDFSEARCH.IO - Document Search Engine

Janis
Results: 700

#	Item
91	Colloquium at TU M¨ unchen, November 18, 2003 Elimination of Intermediate Results in Functional Programs Janis Voigtl¨ Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 List Nil
92	ICFP, October 4, 2002 Concatenate, Reverse and Map Vanish For Free Janis Voigtl¨ ander Dresden University of Technology Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Logic in computer science Constructible universe Combinatory logic Probability distributions Standard ML
93	Efficiency of Bidirectional Transformations J. Voigtl¨ander University of Bonn Dagstuhl Seminar “bx” Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Bidirectionalization Database theory Bidirectional transformation Constructible universe
94	Fortgeschrittene Funktionale Programmierung Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11
95	2015 年 8 月発行 0 「第 16 回地震火山こどもサマースクール」開催！ 8 月 8 日（土）～9 日（日）、伊那市内にて「第 16 回地震火山こどもサマースクール」が開催さ Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2015-08-21 23:39:28
96	Mattituck Presbyterian Church - Marriage RecordsNames Adelwerth, Vitus F. to Ethel Louis Terry Aldrich, Mary Eleanor to Charles E. Hallock Anderson, Stanley to Martha P. Doerr Bagshaw, John Robert to Janis Ade Add to Reading List Source URL: www.mattlibrary.org Language: English - Date: 2011-02-01 08:54:23 Southold New York Mattituck Peconic Southold Tuthill Cutchogue New York Riverhead Gildersleeve
97	Semantics and Pragmatics of New Shortcut Fusion Rules Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Fold Recursion
98	PDF Document Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2014-09-13 21:30:00
99	Free Theorems — Foundations Janis Voigtl¨ander University of Bonn October 18th, 2010 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 General topology Constructible universe Ordinal number Base Order theory Net Conjugate element
100	Free Theorems Involving Type Constructor Classes Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functional programming Programming idioms Monad Adjoint functors Haskell Type class

UPDATE