Modular, fully-abstract compilation by approximate back-translation

Publication:

2017

Journal article

Author(s)

;

;

;

Logical Methods in Computer Science

1866 since deposited on 2021-10-24

1last month

1last week

Acq. date: 2026-05-16