ICFP Programming Contest - PDFSEARCH.IO - Document Search Engine

ICFP Programming Contest
Results: 15

#	Item
1	The Functioning of ICFP Version 2015 On behalf of the ICFP Steering Committee Inspired by the Principles of POPL and the Practices of PLDI Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2015-11-28 23:17:14 Computer science Functional programming International Conference on Functional Programming Computing ICFP Programming Contest Programming Language Design and Implementation Symposium on Principles of Programming Languages
2	ICFP 2008 Programming Contest Task Description (Version Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-07-14 14:28:21
3	The Third Annual ICFP Programming Contest August 26 – 29, 2000 (VersionThe problem Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-08-28 22:22:42
4	ICFP 2001 Programming Contest Challenge Task version 6 Damien Doligez, Luc Maranget, Pierre Weis July 28, 2001 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2001-07-28 15:30:23
5	ICFP 2008 Programming Contest Task Description (Version Add to Reading List Source URL: smlnj.org Language: English - Date: 2008-07-14 10:41:06 Mars exploration Mars Exploration Rover Rover Company Mars rover Phobos ROVER Mars Opportunity rover Spaceflight Spacecraft Space technology
6	Call for Papers ICFP 2008: International Conference on Functional Programming Victoria, BC, Canada, 22–24 September 2008 Conference Chair James Hook Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:39 Functional programming International Conference on Functional Programming Association for Computing Machinery Continuation ICFP Programming Contest SIGPLAN Call for papers XPL Partial evaluation Software engineering Computing Computer programming
7	ICFP 2008 Final Program Monday, Sep 22, 2008 Invited Talk (Chair: Peter Thiemann) 9:00 Lazy and Speculative Execution in Computer Systems Butler Lampson; Microsoft Research Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:37 Functional programming Functional languages Year of birth missing Type theory ICFP Programming Contest Generic programming Bluespec Inc. Haskell International Conference on Functional Programming Software engineering Computing Programming language theory
8	ICFP Programming Contest 2009 Problem Specification University of Kansas June 28, 2009 Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2009-06-30 17:55:05 Assembly languages Addressing mode Machine code Instruction set Memory-mapped I/O RCA Computer architecture Computing Computer hardware
9	Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-10 11:35:35 Type theory Functional programming Logic in computer science Dependently typed programming Data types International Conference on Functional Programming Dependent type ICFP Programming Contest POPLmark challenge Software engineering Computing Programming language theory
10	The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest Tom Murphy VII Daniel Spoonhower Chris Casinghino Daniel R. Licata Add to Reading List Source URL: boundvariable.org Language: English Software engineering Programming language International Conference on Functional Programming Expect Algorithm Parallel computing Computer programming Computing ICFP Programming Contest