141 followers
Type Reconstruction for General Refinement Types (2007) : Kenneth Knowles and Cormac Flanagan DOI: https://t.co/biYcnlc7Qv #Type_Systems #constraints #refinement_types #my_bibtex
Type Reconstruction for General Refinement Types (2007) : Kenneth Knowles and Cormac Flanagan DOI: https://t.co/biYcnlc7Qv #Type_Systems #constraints #refinement_types #my_bibtex