Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Monday, March 27 • 12:30 - 13:10
Effective Compilation of Higher-Order Programs

Sign up or log in to save this to your schedule and see who's attending!

Many modern programming languages support both imperative and functional idioms. However, state-of-the-art SSA-based intermediate representations like LLVM cannot natively represent crucial functional concepts like higher-order functions. On the other hand, functional intermediate representations like GHC's Core employ an explicit scope nesting, which is cumbersome to maintain across certain transformations.
In this talk we present the functional, higher-order intermediate representation Thorin. Thorin is based upon continuation-passing style and abandons explicit scope nesting in favor of a dependency graph. Based on Thorin, we discuss an aggressive closure elimination phase and how we lower this higher-order intermediate representation to LLVM.

Speakers
RL

Roland Leißa

Saarland Informatics Campus


Monday March 27, 2017 12:30 - 13:10
E2 2 (Günter Hotz Hall)

Attendees (16)