| Document Date: 2014-10-29 14:48:47
Open Document File Size: 327,64 KBShare Result on Facebook
City Mumbai / / Country United States / India / / Currency USD / / / Facility To bridge / Vilhelm Sj¨oberg University of Pennsylvania / / IndustryTerm typed congruence closure algorithm / function applications / involved machinery / concrete elaboration algorithm / irrelevant applications / bidirectional systems / type systems / elaboration algorithm / congruence closure algorithm / syntactic label applications / / Organization University of Pennsylvania / Philadelphia / International Criminal Court / / Person ANNOT C CAST / Eric Mertens / Nat / Ai / I CAST / / Position author / representative / programmer / / ProgrammingLanguage Haskell / EC / R / C / / ProvinceOrState Pennsylvania / / Technology functional programming / concrete elaboration algorithm / congruence closure algorithm / Implementing congruence closure Algorithms / typed congruence closure algorithm / NieuwenhuisOliveras algorithm / elaboration algorithm / / URL http /
SocialTag |
tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l