Back to Results
First PageMeta Content
Software engineering / Lambda calculus / Haskell / Q / Rewriting / Theoretical computer science / Functional languages / Programming language theory


Fun tional Polytypi Programming Patrik Jansson Department of Computing S ien e Chalmers University of Te hnology and G oteborg University
Add to Reading List

Document Date: 2010-09-06 04:14:31


Open Document

File Size: 821,51 KB

Share 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