Oracle funds Flexible, Composable, and Incremental Compiler Pipelines
Date: Thu, April 25, 2019
Time: 12:00
Room: TBA
Previous:
Thomas van Binsbergen | Generalised parsing with binary subtree representations
Next:
Jens de Waard (TU Delft PL) | Implementing the Decomposition of Soundness Proofs of Abstract Interpreters in Coq