Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 14:26 - 14:50 at Reindeer - Machine Learning Chair(s): Dominic Steinitz

We introduce Hailstorm, a statically typed, pure functional language for systems programming. At its core, Hailstorm is a call by value implementation of simply typed lambda calculus, extended with recursion. The aim is to efficiently map high level features like higher order functions, recursion and parametric polymorphism to resource constrained hardware. One of the notable features of the language is its simple runtime system. Hailstorm bypasses heap allocation through static analysis techniques and compiler optimization passes, aiming to avoid garbage collection and associated timing problems. The purity of the language gives the compiler full freedom to rewrite the program in memory efficient ways. Hailstorm compiles to LLVM.

Sun 18 Aug

FHPNC-2019-papers
13:40 - 14:50: FHPNC - Machine Learning at Reindeer
Chair(s): Dominic SteinitzTweag I/O
FHPNC-2019-papers13:40 - 14:03
Talk
Duc Minh TranDIKU, University of Copenhagen, Troels HenriksenUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark
Link to publication
FHPNC-2019-papers14:03 - 14:26
Talk
FHPNC-2019-papers14:26 - 14:50
Talk
Abhiroop SarkarChalmers University of Technology, Mary Sheeran