Janis - PDFSEARCH.IO - Document Search Engine

Janis
Results: 700

#	Item
101	Datatype-generic Programming in Haskell An introduction ¨ Andres Loh Well-Typed LLP Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11
102	PDF Document Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2016-07-06 00:50:12
103	2015 年 3 月発行ろくべん館だより Vol.41 Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2016-03-25 04:01:47
104	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
105	Fortgeschrittene Funktionale Programmierung Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11
106	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
107	Yesterday: put :: [α] → [α] → [α] put s v = let n = (length s) − 1 s ′ = [0..n] g = zip s ′ s h = zip (get s ′ ) v Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functions and mappings Constructible universe Injective function Abdullahi v. Pfizer Inc.
108	Deskriptive Programmierung – Jun.-Prof. Dr. Janis Voigtländer Veranstaltungsbewertung der Fachschaft Informatik 12. OktoberAbgegebene Fragebögen: Add to Reading List Source URL: www.fachschaft.info Language: German
109	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
110	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

UPDATE