Finally, Type-Safe, Extensible and Efficient Language Integrated Query

cs.tsukuba.ac.jpsite

from

OCaml

added

2026-10-10

likes

0

similar

1. ▲

   Interfacing OCaml and PostgreSQL with Caqti medium.com

   site · @bobbypriambodo topic programming link ↗
   site
2. ▲

   tgls erratique.ch

   site link ↗
   site
3. ▲

   Type OCaml – Many things about OCaml typeocaml.com

   site link ↗
   site
4. ▲

   SLAyer github.com

   tool link ↗
   
5. ▲

   Js_of_ocaml ocsigen.org

   site link ↗
   site
6. ▲

   tyxml ocsigen.org

   site link ↗
   site

OCaml › Databases: “by Oleg and Co. The proposed approach is to describe SQL queries in type-safe manner and optimize them (using term rewriting or normalization-by evaluation) before sending to database engine. It potentially could optimize O(n^2) queries to O(n) ones.”