Hollow Capital
Refinement types - a tutorial
info
paper
pdf-download
,
type-theory
,
refinement-types
,
theoretical-computer-science
,
programming-language-design
affine
March 24, 2024, 9:22am
1
2010.07763.pdf
(990.7 KB)