| Document Date: 2015-04-08 08:34:46
Open Document File Size: 200,16 KBShare Result on Facebook
City Paris / / Facility Sums Guillaume Munch-Maccagnoni Gabriel Scherer University of Cambridge Inria Paris-Rocquencourt Abstract / / IndustryTerm type systems / distinct solution / equivalence algorithm / abstract solutions / / Organization Sums Guillaume Munch-Maccagnoni Gabriel Scherer University of Cambridge Inria Paris-Rocquencourt Abstract / French National Research Agency / / Person Martin-Löf / Pierre-Évariste Dagand / Olivier Danvy / Lint Lint / Van Wijngaarden / / Position abstractor / with noninvertible rules only on constructors / rst author / rst advocate / abstractor / model / / ProgrammingLanguage Lambda Calculus / R / L / / RadioStation CBN / / TVStation Wand / / Technology equivalence algorithm / /
SocialTag |
1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni