David Kaloper-Meršinjak -

Registered user since Wed 6 Jun 2018

Name:David Kaloper-Meršinjak

Country:United Kingdom

Affiliation:University of Cambridge

Personal website: https://www.cl.cam.ac.uk/~dk505

Research interests:Functional programming, Cryptography, Verification

Contributions

2018

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2016

OCaml

Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track

TyDe

Author of Generic partially-static data within the TyDe-track