Search for tag: "bool"

20:43 cos326-2020-17-04-type-inference-2 cos326-2020-17-04-type-inference-2	cos326-2020-17-04-type-inference-2 Type Checking: Part 4: Type Inference (Quantifiers) cos326 function inference expression algorithm bool thing arrow argument types side unit reference hand variables solution ref href result quantifier int From Daniel Macleod 0 likes 89 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
43:07 cos326-2020-17-03-type-inference-1 cos326-2020-17-03-type-inference-1	cos326-2020-17-03-type-inference-1 Type Checking: Part 3: Type Inference (Simple Types) cos326 function arrow constraints int types algorithm solution inference expression argument bool equations variables substitution equation result constraint unification term schemes From Daniel Macleod 0 likes 151 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ