Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Antoine Delignat-Lavaud

Dependent Types and Multi-Monadic Effects in F*

ACM SIGPLAN Notices

Computer Science

English

A Formal Treatment of Accountable Proxying Over TLS

English

Related publications

Monadic Datalog and Regular Tree Pattern Queries

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

A Role for Dependent Types in Haskell

Proceedings of the ACM on Programming Languages

English

Monadic Constraint Programming

Journal of Functional Programming

English

Monadic GMV-algebras

Archive for Mathematical Logic

English

Do We Need Dependent Types?

Journal of Functional Programming

English

NRG1 Types Down Regulate in Methamphetamine and Heroin Dependent Patients

MOJ Addiction Medicine & Therapy

English

Vulnerability Modelling With Functional Programming and Dependent Types

Mathematical Structures in Computer Science

Computer Science Applications

English

A Redescription of the Types of Strumigenys Mandibularis F. Smith, and Cephaloxys Capitata F. Smith

Psyche (New York)

English

Approximate Normalization for Gradual Dependent Types

Proceedings of the ACM on Programming Languages

English