Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

0 results

People (2 results)
Mark Jones

Mark Jones

Portland State University

… I am a Professor in the Department of Computer Science in the Maseeh College of Engineering & Computer Science at Portland State University in Portland, Oregon, USA.

My research interests include all aspects of programming language design …

Didier Verna

Didier Verna

EPITA / LRDE

… LaTeX packages and Common Lisp libraries.

All of this is in fact half-true: two …

Events (34 results)

RFCs, all the way down!

OCaml 2018 When: Thu 27 Sep 2018 10:40 - 11:00 People: Romain Calascibetta

… …

Generic Programming of All Kinds

Haskell 2018 When: Fri 28 Sep 2018 09:30 - 10:00 People: Alejandro Serrano, Victor Cacciari Miraldo

… …

Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)

Haskell 2018 When: Fri 28 Sep 2018 15:30 - 15:59 People: Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton

… …

Modular Acceleration: Tricky Cases of Functional High-Performance Computing

FHPC 2018 When: Sat 29 Sep 2018 10:20 - 11:20 People: Troels Henriksen, Martin Elsman, Cosmin Oancea

… that while all these problems permit elegant functional implementations, good …

Attending Information (6 results)

Student Volunteering

… Sign up to be a Student Volunteer and help us make ICFP 2018 a unique experience for all attendants!

ICFP is pleased to offer a number of opportunities … running smoothly.

The Student Volunteer registration covers:

  • Access to all

Call for Sponsorship

… programming languages, covering all aspects of theory, implementation, and application … * Your name listed in the proceedings

Silver - $3,000

  • All of the benefits … materials such as banners and posters

Gold - $6,000

  • All of the benefits …

Visas

… the ESTA page.

All other … letter. For visa support letters, please send all requests to the Office of SIG …

Tracks (14 results)

OCaml 2018

… talks on all aspects related to improving the use or development of the language …, Anil Madhavapeddy

RFCs, all the way down!

Romain Calascibetta …

Scala 2018

… on all …: Aug 3rd, 2018
* Student talk notification: Aug 31st, 2018

All deadlines … seek several kinds of submissions, all in acmart/sigplan style, **10pt …

ML 2018

… , and many others. All ML languages share several fundamental traits, besides a good …, module systems, metaprogramming). The scope of the workshop includes all … Caml, and many others. All ML languages share several fundamental traits …

General (13 results)

NPFL 2018 Homepage

… NPFL 2018 Welcome to the website of the NPFL 2018 conference. We are working hard to fill the website with all related information. Please check back soon! b5243cf0-879f-4a8d-a10e-3109e68d0588 …

Haskell 2018 Homepage

… Haskell 2018 Welcome to the website of the Haskell 2018 conference. We are working hard to fill the website with all related information. Please check back soon! 92f77534-1ad0-4639-a7b4-964f5a2177c4 …

Scheme 2018 Homepage

… Scheme 2018 Welcome to the website of the Scheme 2018 conference. We are working hard to fill the website with all related information. Please check back soon! e7354b8a-07cd-4df7-a171-db6fd62bed4f …