Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">ICFP PC Functional Programming Workshop</h1> <div class='date'><time class="dtstart dt-start" title="2009-04-30T09:00:00" datetime="2009-04-30T09:00:00">Thursday, April 30, 2009 from 9am</time>–<time class="dtend dt-end" title="2009-04-30T17:30:00" datetime="2009-04-30T17:30:00">5:30pm</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390005'><span class='fn org p-name'>Portland State University (PSU) - Smith Memorial Center</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">1825 SW Broadway</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97201</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=1825%20SW%20Broadway,%20Portland%20OR%2097201%20US'>map</a>) </div> </div> <div class="description p-description"> <p><b>Room:</b> Portland State University, The Vanport Room (rm 338), Smith Memorial Student Union. The building is at Harrison and Broadway; enter via door on Harrison and take stairs to 3rd floor.</p> <p><b>Content:</b> Series of presentations by distinguished members of the FP community from around the world:</p> <ul> <li>Algebra of Programming using Dependent Types. Shin-Cheng Mu (Academia Sinica)</li> <li>Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. Lars Birkedal (IT University of Copenhagen)</li> <li>A Compiler on a Page. Kristoffer Rose (IBM Thomas J. Watson Research Center)</li> <li>A Proof Theory for Compilation. Atsushi Ohori (Tohoku University)</li> <li>Data Parallelism in Haskell. Manuel Chakravarty (University of New South Wales)</li> <li>Push-down control-flow analysis of higher-order programs. Matthew Might (University of Utah)</li> <li>Slicing It: indexed containers in Haskell. Conor McBride (University of Strathclyde)</li> <li>Daan Leijen (Microsoft Research)</li> <li>Koen Claessen (Chalmers University of Technology)</li> <li>Taking the monad laws seriously. Andrzej Filinski (University of Copenhagen)</li> <li>A compiler front-end for Mini-ML and its Coq proof of correctness. Xavier Leroy (INRIA Paris-Rocquencourt)</li> </ul> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://web.cecs.pdx.edu/~mpj/fpworkshop/Content/Functional_Programming_Workshop.html">Website</a></li> </ul> </div>