Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 13:30 - 16:30 at Yew - Tutorials Y4

GRIN is a simple C like language which opens up the possibility for optional whole program analysis and unified back-ends for functional programming languages. In this tutorial I walk through the basics of the technology and how to implement such a framework.

  • Prelude: General discussion on how FP languages can be compiled
  • Chapter 1: GRIN syntax and semantics
  • Interlude: Intermediate language to compile Lambda Calculus to GRIN
  • Chapter 2: Heap Points to Analysis via Abstracting Definitional Interpreter
  • Interlude: Connection between pointer analysis, type systems and abstract interpretations
  • Chapter 3: Program transformation, optimizations
  • Epilogue: Possible futures of the Whole Program Analysis

Under the grin-compiler project we develop possible back-ends for Idris and GHC. We have an LLVM based code generator. The project is still in the active development phase.

Fri 23 Aug

13:30 - 16:30: Tutorials - Tutorials Y4 at Yew
icfp-2019-tutorials13:30 - 16:30