Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Charles Grellois

Probabilistic Termination by Monadic Affine Sized Typing

ACM Transactions on Programming Languages and Systems

English