![Software engineering / Lambda calculus / Haskell / Q / Rewriting / Theoretical computer science / Functional languages / Programming language theory Software engineering / Lambda calculus / Haskell / Q / Rewriting / Theoretical computer science / Functional languages / Programming language theory](https://www.pdfsearch.io/img/6681cd1fc3f9289090259a4a6bebdf35.jpg)
| Document Date: 2010-09-06 04:14:31 Open Document File Size: 821,51 KBShare Result on Facebook
Company P. Jansson / ACM Press / / Country Sweden / / Facility University Abstra / Chalmers University / / IndustryTerm printing / Type systems / lude pretty printing / polytypi algorithms / inverse law / / Organization Chalmers University / Chalmers University of Te / Polytypi Programming Patrik Jansson Department / / Person Patrik Jansson / Advan / Pro / Johan Jeuring / / Position editor / king / / ProgrammingLanguage Haskell / / RadioStation 1.7 What / / Technology http / same algorithm / implementing polytypi algorithms / polytypi algorithms / /
SocialTag |