BEGIN:VCALENDAR
PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:Calagator
METHOD:PUBLISH
VERSION:2.0
BEGIN:VTIMEZONE
TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles
BEGIN:DAYLIGHT
DTSTART:20080309T020000
RDATE:20080309T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20080915T100753Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20080915T150000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20080915T130000
DTSTAMP;VALUE=DATE-TIME:20080915T100753Z
LAST-MODIFIED;VALUE=DATE-TIME:20210103T011025Z
UID:http://calagator.org/events/1250455736
DESCRIPTION:Title:      Left-fold enumerators&#13\;\n            Towards 
 a safe\, expressive and efficient I/O interface for Haskell&#13\;\n&#13\
 ;\nSpeaker:    Johan Tibell&#13\;\n            Software Engineer&#13\;\n
             Google&#13\;\n&#13\;\nDate:       Monday\, September 15th.&#
 13\;\n            1pm&#13\;\n&#13\;\nLocation:   Galois\, Inc.&#13\;\n  
           421 SW 6th Ave. Suite 300&#13\;\n            (3rd floor of the
  Commonwealth Building)&#13\;\n            Portland\, Oregon&#13\;\n&#13
 \;\nAbstract:&#13\;\n&#13\;\n    I will describe a programming style for
  I/O operations that is based on left-fold enumerators. This style of pr
 ogramming is more expressive than imperative style I/O represented by th
 e Unix functions read and write\, and safer than lazy I/O using streams.
  Left-fold enumerators offers both high-performance using block based I/
 O and safety in terms of error handling and resource usage. I will demon
 strate Hyena\, a web server prototype written in Haskell\, as an example
  of left-fold enumerator style of programming.&#13\;\n&#13\;\n    This t
 alk is intended as a starting point for further discussions on what woul
 d be a good interface for I/O rather than a presentation of finished res
 earch.&#13\;\n&#13\;\nAbout the Galois Tech Talks.&#13\;\n&#13\;\n    Ga
 lois (http://galois.com) has been holding weekly technical seminars for 
 several years on topics from functional programming\, formal methods\, c
 ompiler and language design\, to cryptography\, and operating system con
 struction\, with talks by many figures from the programming language and
  formal methods communities.&#13\;\n&#13\;\n    The talks are open and f
 ree. If you're planning to attend\, dropping a note to  is appreciated\,
  but not required. If you're interested in giving a talk\, we're always 
 looking for new speakers.&#13\;\n&#13\;\n&#13\;\nCrazybulk Avis	\n\nTags
 : galois\, technology\, functional programming\, pdxfunc\n\nImported fro
 m: http://calagator.org/events/1250455736
SUMMARY:Galois Tech Talks: Left-fold enumerators -- Towards a safe\, expr
 essive and efficient I/O interface for Haskell
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:1
END:VEVENT
END:VCALENDAR