TY  - RPRT
TI  - System FR as Foundations for Stainless
AU  - Jad Hamza
AU  - Nicolas Voirol
AU  - Viktor Kunčak
PY  - 2020
DO  - 10.1145/3360592
UR  - https://arxiv.org/abs/1904.03482
ID  - 1904.03482
ER  -