Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Xavier Leroy

Caml-Mode

Caml mode for GNU Emacs

Program Logics for Certified Compilers

book by Andrew Appel

Verified code generation for the polyhedral model

scientific article published on 04 January 2021

Paulina is supported by:

About Paulina

Help