Carbone et al. [2007] (https://t.co/GW2i5oUJli) came up with a clever solution. First, separately compile the branches of the conditional first as 'switches' with a single case guarded by the decision for that branch. Like 'switch(decision) { case APPROVED
659 followers
522 followers
@arntzenius perhaps work on Hoare type theory is related? https://t.co/yp5OrVbPFe
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
141 followers
A Rewriting Semantics for Type Inference (2007) : Kuan, George and Macqueen, David and Findler, Robert Bruce DOI: https://t.co/hcKk1NaKRq #hindley_milner #rewriting #semantics #type_inference #my_bibtex