Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

21

POPL
2011
ACM

favoriteEmaildiscussreport

176views Programming Languages» more POPL 2011»

Generative type abstraction and type-level computation

12 years 7 months ago

Generative type abstraction and type-level computation

Download www.cis.upenn.edu

Stephanie Weirich, Dimitrios Vytiniotis, Simon L.

Real-time Traffic

POPL 2011 | Programming Languages |

claim paper

Related Content

» Ur StaticallyTyped Metaprogramming with TypeLevel Record Computation

» Interpreting Localized Computational Effects Using Operators of Higher Type

» Abstract shade trees

» A type system for higherorder modules

» Exploring Legacy Systems using Types

» Notes on Restricted P Colonies

» A Typed Assembly Language for Confidentiality

» Coreference Resolution in a Modular EntityCentered Model

» Acute highlevel programming language design for distributed computation

Post Info
More Details (n/a)

Added	17 Sep 2011
Updated	17 Sep 2011
Type	Journal
Year	2011
Where	POPL
Authors	Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic

Comments (0)