Commit c517e5b2 authored by Sven Keidel's avatar Sven Keidel

add reference of OOPSLA paper to README

parent acf72ba5
Pipeline #15833 passed with stages
in 31 minutes and 10 seconds
......@@ -37,6 +37,13 @@ stack test sturdy-stratego
## Publications
**Sound and Reusable Components for Abstract Interpretation**
Sven Keidel and Sebastian Erdweg.
_Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)_.
ACM, 2019
**Compositional Soundness Proofs of Abstract Interpreters**
Sven Keidel, Casper Bach Poulsen and Sebastian Erdweg.
_International Conference on Functional Programming (ICFP)_.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment