>_ Anil Madhavapeddy@avsm/
  • About
  • Projects
  • Ideas
  • Papers
  • Notes
  • Talks
  • Network
  • Links
Subscribe
AtomfullJSON Feedfull
AtompermaJSON Feedperma
>_ Anil Madhavapeddy
About
ProjectsIdeas
PapersNotesTalks
NetworkLinks
>_
11 on this site · 0 links
On this siterelevancedate11
Package Managers à la Carte: A Formal Model of Dependency Resolution1st Aug 2026#devtools#fp#journalDecomposable Type Highlighting for Bidirectional Type and Cast System1st Jan 2025#devtools#fp#preprintState of the OCaml Platform 20231st Sep 2023#conference#devtools#ocaml#ocamllabsHomogeneous Builds with OBuilder and OCaml1st Sep 2022#conference#devtools#fp#ocaml#ocamllabsThe OCaml Platform: 20201st Sep 2020#conference#devtools#ocaml#ocamllabsOCaml-CI: A Zero-Configuration CI1st Aug 2020#conference#devtools#ocaml#ocamllabsThe OCaml Platform in 20191st Aug 2019#conference#devtools#ocaml#ocamllabsMirageOS 4: the dawn of practical build systems for exotic targets1st Aug 2019#conference#devtools#mirageos#ocaml#ocamllabsThe State of the OCaml Platform: Sep 20171st Sep 2017#conference#devtools#ocaml#ocamllabsThe OCaml Platform v1.01st Sep 2014#conference#devtools#ocaml#ocamllabs#testingThe OCaml Platform v0.11st Sep 2013#conference#devtools#ocaml#ocamllabs
Narrowfilter these results
2013
2026

© 1998–2026 Anil Madhavapeddy.

{} md