Ander - PDFSEARCH.IO - Document Search Engine

Ander
Results: 571

#	Item
51	Free Theorems and “Real” Languages 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 Universal algebra Constructible universe Type theory CurryHoward correspondence
52	New Applications of Parametricity Janis Voigtl¨ander Technische Universit¨ at Dresden ISS-AiPL’09 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Computing Polymorphism Functional programming Data types Parametricity Parametric polymorphism Map
53	Door die jarenlange expertise weten wij wat er speelt en zijn wij als geen ander in staat trends, ontwikkelingen en maatschappelijke vraagstukken te duiden en in een breder onderwijskader te plaatsen. Dat doen we op een Add to Reading List Source URL: downloads.slo.nl Language: Dutch - Date: 2015-11-24 07:52:35
54	Asymptotic Improvement of Computations over Free Monads 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 Computing Software engineering Computer programming Functional programming Monad Haskell Echo
55	Schoolveiligheidsplan Schoolveiligheidsplan Basisschool De Bolleberg Maria Hoop “Zorg goed voor jezelf, de ander en de schoolomgeving!” Add to Reading List Source URL: www.bsdebolleberg-mariahoop.nl Language: Dutch - Date: 2014-10-03 09:00:34
56	Fortgeschrittene Funktionale Programmierung 6. und 7. Vorlesung Janis Voigtl¨ander Universit¨ Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11
57	Knuth’s 0-1-Principle and Beyond Janis Voigtl¨ander University of Bonn, Germany (visiting NII Tokyo) February 26th, 2010 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Sorting algorithms Order theory Mathematics Combinatorics Merge sort Quicksort Insertion sort Sorting Merge algorithm Bucket sort
58	Knuth’s 0-1-Principle and Beyond 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 Sorting algorithms Order theory Mathematics Combinatorics Quicksort Sorting Merge sort Selection sort
59	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
60	Deceived by Ease of Use Using Paradigmatic Applications to Build Visual Design Environments Kurt Schneider, Alex ander Repenning Department of Computer Science and Center for LifeLong Learning and Design {ktschnei, ralex Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 1999-01-03 17:15:54 Computing Software engineering Software Project management Software architecture AgentSheets Cross-platform software Simulation software Software framework Application framework Software development Object Process Methodology