corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087bd-9263-7063-95ea-cb23dacf5c43

ICFP 2025

patrick.sirref.org · published 24 October 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at patrick.sirref.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
60
Words captured
1,740

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://icfp25.sigplan.org/
icfp25.sigplan.org
https://ryan.freumh.org/
ryan.freumh.org
https://ryan.freumh.org/photos.html
ryan.freumh.org
https://patrick.sirref.org/anil%20madhavapeddy/
patrick.sirref.org
https://patrick.sirref.org/sadiq%20jaffer/
patrick.sirref.org
https://patrick.sirref.org/patrick%20ferris/
patrick.sirref.org
https://patrick.sirref.org/ryan%20gibb/
patrick.sirref.org
https://patrick.sirref.org/roy%20ang/
patrick.sirref.org
https://oxcaml.org/
oxcaml.org
Try OxCaml Read at the source ↗
patrick.sirref.org
https://patrick.sirref.org/dra27/
patrick.sirref.org
https://github.com/ocaml-multicore/ocaml-uring
github.com
https://patrick.sirref.org/oxcaml/
patrick.sirref.org
https://oxcaml.org/documentation/unboxed-types/01-intro/
oxcaml.org
https://github.com/ocaml-multicore/ocaml-uring/compare/main...patricoferris:ocaml-uring:oxcaml?expand=1
github.com
https://patrick.sirref.org/forester/
patrick.sirref.org
https://patrick.sirref.org/graft/
patrick.sirref.org
https://github.com/Octachron/talaria_bibtex
github.com
https://patrick.sirref.org/bib/
patrick.sirref.org
https://ocaml.org/p/bytesrw
ocaml.org
https://ocaml.org/p/jsont
ocaml.org
https://patrick.sirref.org/outreachy/
patrick.sirref.org
https://github.com/geocaml/ocaml-tiff
github.com
https://github.com/ucam-eo/geotessera/
github.com
https://patrick.sirref.org/tessera2025/
patrick.sirref.org
https://github.com/geocaml/ocaml-proj
github.com
https://github.com/geocaml/ocaml-wkt
github.com
https://www.comp.nus.edu.sg/
comp.nus.edu.sg
A Transpiler from OCaml to Hazel Read at the source ↗
patrick.sirref.org
https://patrick.sirref.org/var/tyde2025.pdf
patrick.sirref.org
https://patrick.sirref.org/var/tyde2025-ea.pdf
patrick.sirref.org
https://maxcarroll0.github.io/
maxcarroll0.github.io
https://patrick.sirref.org/part-ii-hazel/
patrick.sirref.org
https://maxcarroll0.github.io/papers/workshops/HATRA-decomposable-type-highlighting/
maxcarroll0.github.io
https://patrick.sirref.org/var/propl2025.pdf
patrick.sirref.org
https://forobs.jrc.ec.europa.eu/TMF/data
forobs.jrc.ec.europa.eu
https://cs.nyu.edu/~shw8119/
cs.nyu.edu
https://forthoney.github.io/
forthoney.github.io
https://svishnus.github.io/
svishnus.github.io
https://nyu-parcour.github.io/
nyu-parcour.github.io
https://github.com/mpllang/mpl
github.com
https://patrick.sirref.org/mdales/
patrick.sirref.org
https://patrick.sirref.org/shelter/
patrick.sirref.org
https://kcsrk.info/
kcsrk.info
https://patrick.sirref.org/mrdt/
patrick.sirref.org
https://www.openstreetmap.org/relation/18195609
openstreetmap.org
https://dynamicaspects.org/research/
dynamicaspects.org
https://f.luid.org/
f.luid.org
https://conf.researchr.org/details/icfp-splash-2025/propl-2025-papers/10/Authoring-Tools-for-Transparent-Climate-Reporting
conf.researchr.org
https://www.youtube.com/watch?v=j84ocjlj1JA&amp%3Bt=12880s
youtube.com
https://patrick.sirref.org/anilmadhavapeddy/
patrick.sirref.org
Jane Street and Docker on moving to OCaml 5 at ICFP/SPLASH 2025 Read at the source ↗
anil.recoil.org
It's time to go post-POSIX at ICFP/SPLASH 2025 Read at the source ↗
anil.recoil.org
https://conf.researchr.org/details/icfp-splash-2025/propl-2025-papers/6/Yirgacheffe-a-declarative-approach-to-geospatial-data
conf.researchr.org
https://digitalflapjack.com/weeknotes/
digitalflapjack.com
https://icfp25.sigplan.org/details/icfp-2025-papers/13/Polynomial-Time-Program-Equivalence-for-Machine-Knitting
icfp25.sigplan.org
https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml
conf.researchr.org
https://gavinleroy.com/
gavinleroy.com
https://patrick.sirref.org/ryangibb/
patrick.sirref.org
https://conf.researchr.org/details/icfp-splash-2025/propl-2025-papers/13/Spatial-Programming-for-Environmental-Monitoring
conf.researchr.org