Petrol: embedding a type-safe SQL API in OCaml using GADTs gopiandcode.uk Published: March 23, 2023 application programming interfaceocamlsqltype systems and theory via epilys 2 weeks, 3 days ago | archived | plain text cache | source | 0 comments