Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Dimitrios Vytiniotis

Refinement Types for Haskell

ACM SIGPLAN Notices

Computer Science

English

Efficient Differentiable Programming in a Functional Array-Processing Language

Proceedings of the ACM on Programming Languages

English

Termination Combinators Forever

English