IRILL - Research and Innovation on Free Software

About
- Philosophy
- Access
- Guest Information
- Organization
- SAB
- Founders
Events
Activities
News
Video

2023-05

Formal reasoning rules for the OCaml FFI

Formal reasoning rules for the OCaml FFI

Retrofitting OCaml Modules

Retrofitting OCaml Modules

Recent Posts

© 2024 · Powered by pelican-bootstrap3, Pelican, Bootstrap

"IRILL - Research and Innovation on Free Software" by is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License, except where indicated otherwise.