From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5539 Path: news.gmane.org!not-for-mail From: Jeremy.Gibbons@comlab.ox.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: Spring School in Generic and Indexed Programming Date: Sat, 16 Jan 2010 17:21:47 GMT Message-ID: Reply-To: Jeremy.Gibbons@comlab.ox.ac.uk NNTP-Posting-Host: lo.gmane.org X-Trace: ger.gmane.org 1263744041 10484 80.91.229.12 (17 Jan 2010 16:00:41 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 17 Jan 2010 16:00:41 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Sun Jan 17 17:00:33 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NWXWV-0002ws-OY for gsmc-categories@m.gmane.org; Sun, 17 Jan 2010 16:58:43 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NWX2G-0000yW-W4 for categories-list@mta.ca; Sun, 17 Jan 2010 11:27:29 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5539 Archived-At: SPRING SCHOOL ON GENERIC AND INDEXED PROGRAMMING Wadham College, Oxford, 22nd to 26th March 2010 TOPIC "Generic programming" is about making programs more widely applicable via exotic kinds of parametrization - not just along the dimensions of values or of types, but of things such as the shape of data, algebraic structures, strategies, computational paradigms, and so on. "Indexed programming" is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches to some type, that values transmitted along a channel conforms to some protocol, and so on. The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The EPSRC-funded Generic and Indexed Programming project at Oxford has been exploring their interaction over the period 2006 - 2010; this school is the closing activity of the project. LECTURERS Six lecturers from the Programming Languages community, each an acknowledged expert in their specialism, will cover various aspects of generic and indexed programming. Each will give about four hours' lectures, distributed throughout the week. Nate Foster (Princeton University) "Bidirectional Programming" Ralf Hinze (University of Oxford) "Generic Programming with Adjunctions" Oleg Kiselyov (Fleet Numerical Meteorology and Oceanography Center) "Typed Tagless Interpreters" Simon Peyton Jones (Microsoft Research Cambridge) "Type Functions" Jeremy Siek (University of Colorado at Boulder) "Concepts in C++" Stephanie Weirich (University of Pennsylvania) "Generic Programming with Dependent Types" PREREQUISITES The school is aimed at doctoral students in programming languages and related areas; however, researchers and practitioners will be very welcome, as will strong masters students with the support of a supervisor. It will be assumed that participants have a good understanding of typed functional programming, as in Haskell or O'Caml. DATES Registration deadline: 19th February School: 22nd March (0900) to 26th March (lunchtime) VENUE Lectures will be held and accommodation provided in Wadham College in the centre of Oxford. The college celebrates its 400th anniversary in 2010; notable past members include Sir Christopher Wren, the founder of the Royal Society, and notable present ones Marcus du Sautoy, the mathematician and TV presenter. COSTS Costs will be kept low, thanks to support from EPSRC. There will be a nominal registration fee, and B&B accommodation in college will be about =A355 per night. (Precise costs are yet to be determined.) FURTHER INFORMATION Further information, including instructions on how to register, will be available soon at the website: http://www.comlab.ox.ac.uk/projects/gip/school.html [For admin and other information see: http://www.mta.ca/~cat-dist/ ]