Ander - PDFSEARCH.IO - Document Search Engine

Ander
Results: 571

#	Item
81	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
82	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
83	Understanding Idiomatic Traversals Backwards and Forwards Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtl¨ander July 3rd, 2013 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming language comparisons Functional programming Programming idioms Recursion Monad Tree traversal Map Foreach loop Depth-first search
84	Lightweight Program Inversion Janis Voigtl¨ander University of Bonn Dutch HUG Day 2010 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functions and mappings Surjective function Injective function Inverse function Fun
85	Knuth’s 0-1-Principle and Beyond 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 Sorting algorithms Merge sort Quicksort Insertion sort Sorting Bucket sort Merge algorithm
86	Semantic Bidirectionalisation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu - Date: 2016-08-01 05:50:10
87	TUPELO PRESS, INC. An Independent Literary Press www.tupelopress.org Media Contact: Rod Schecter Add to Reading List Source URL: www.andermonson.com Language: English - Date: 2006-08-07 23:47:33 Ander Monson Tupelo Press Vacationland Bellingham Review
88	Welzijnszorg LHBT-vluchtelingen ‘De eerste belangrijke stappen richting zelfredzaamheid’ Vluchtelingen verlaten hun thuisbasis, hun netwerk en hun ‘wereld’ om een beter bestaan op te bouwen in een ander land. Als Add to Reading List Source URL: www.schorer.nl Language: Dutch - Date: 2016-08-02 10:25:47
89	Free Theorems about Monadic Code Janis Voigtl¨ander University of Bonn EWCE’11 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming paradigms Functional programming Programming language theory Literate programming Monad Declarative programming Haskell Side effect Echo Referential transparency Imperative programming Rc
90	Inductive Program Synthesis for Bidirectional Transformations Tobias G¨odderz, Helmut Grohne, Janis Voigtl¨ander University of Bonn Dagstuhl Seminar 15442 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10

UPDATE