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

… …

Didier Verna

Didier Verna

… …

Events (27 results)

Generic Programming of All Kinds

Haskell 2018 People: Alejandro Serrano, Victor Cacciari Miraldo

… …

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

Haskell 2018 People: Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton

… …

Modular Acceleration: Tricky Cases of Functional High-Performance Computing

FHPC 2018 People: Troels Henriksen, Martin Elsman, Cosmin Oancea

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

Towards Secure Erlang Systems

Erlang 2018 When: Sat 29 Sep 2018 11:45 - 12:00 People: Alexandre Jorge Barbosa Rodrigues, Viktória Fördős

… that today’s Erlang systems are faced with and explain why all Erlang developers …

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 … notification: Aug 31st, 2018

All deadlines are **at the end of the day …, all in acmart/sigplan style, 10pt font.

  • Full papers (at most …

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 …

Homepage (13 results)

HIW 2018 Homepage

… HIW 2018 Welcome to the website of the HIW 2018 conference. We are working hard to fill the website with all related information. Please check back soon! 648aeb0e-9b3b-4760-bf48-07e20daff0cd …

HOPE 2018 Homepage

… HOPE 2018 Welcome to the website of the HOPE 2018 conference. We are working hard to fill the website with all related information. Please check back soon! 7fcde24a-6858-4c50-aac2-cc8ccbf98874 …

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 …