Introducing
Your new presentation assistant.
Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.
Trending searches
Smaller, more focused meetings, often for work in progress.
Monday 6:15, Regency Foyer
Tuesday 7:30, Vancouver Aquarium
Wednesday 6:30 Unbounce, Suite #400 - 401 W. Georgia St.
Thursday: 6:15, Regency C
Sunday, August 30
Haskell Implementors Workshop (HIW)
Workshop on Higher-order Programming with Effects (HOPE)
Workshop on Generic Programming (WGP)
Programming Languages Mentoring Workshop (PLMW@ICFP)
Ally Skills Tutorial
Thursday, September 3
Workshop on Functional High-Performance Computing (FHPC)
Haskell Symposium – Day 1
ML Family Workshop
Friday, September 4
Erlang Workshop
Haskell Symposium – Day 2
OCaml Workshop
Scheme and Functional Programming Workshop (SFPW)
Saturday, September 5
Functional Art, Music, Modeling and Design (FARM)
Commercial Users of Functional Programming (CUFP)
In-depth, hands-on presentations from world experts
Tuesday 11:50 - 12:30, Wednesday 11:50-12:30
Wednesday 17:30
Possible sources:
The "Hallway Track" is often the most interesting!
Licensed from toonvectors.com
Days
Invited Talks:
Program Synthesis [Ras Bodik]
Hardware Design [Mary Sheeran]
Tribute, to Paul Hudak
Submissions
Acceptances
Technical Sessions
Minutes per Technical Presentation
3
2
1
119
35
13
20
Foundations I and II
Types
Type Checking
Compilers
Cost Analysis
Parallelism
Theorem Provers
Contracts
Information Flow
Domain-Specific Languages
Data Structures
Miscellaneous
Generated from abstracts of all ICFP papers from 1996 to 2015.
Generated using LDA-C Topic Modeling from ICFP Abstracts, 1996-2015.
Source: http://tmpl.weaselhat.com
International Conference on Functional Programming
Nodes: ICFP Authors
Edges: Co-Authors
David Van Horn
François Pottier
Matthias Felleisen
Robert Bruce Findler
Michael Greenberg
Niki Vazou
Simon L. Peyton Jones
Stephanie Weirich
Gabriele Keller
Simon Marlow
Kathleen Fisher
Ronald Garcia
Lee Pike
Data Source: DBLP
ICFP 1996-2015
Thanks to: Swarat Chaudhuri and Michael Greenberg
Map made with eSpatial Free Trial Software
Introduction to OCaml
Light-weight and type-safe scripting with Haskell
Interactive Computing with IHaskell
Embedding and optimizing domain-specific languages
in the typed final style
LiquidHaskell: Programming With Liquid Types in Haskell
An Introduction to Type-Level and Generic Programming in Haskell
Testing stateful systems with QuickCheck
A Tutorial on Verifying Higher-Order, Effectful Programs Using F*
PureScript Front-end Developement
Declarative, immutable GUIs with ClojureScript, React and Reacl
An Introduction to the Coq Proof Assistant
Web Programming with Servant
T1
T2
T3
T4
T5
T6
T7
T9
T10
T11
T12
T13