Back to Results
First PageMeta Content
Programming language theory / Type system / Subtype polymorphism / System F / Polymorphism / Type inference / Type safety / Interface / Hindley–Milner / Software engineering / Type theory / Computing


Soft Interfaces: Typing Scheme at the Module Level Martin Gasbichler Holger Gast Wilhelm-Schickard-Institut f
Add to Reading List

Document Date: 2010-10-22 08:06:09

Open Document

File Size: 220,59 KB

Share Result on Facebook

City

Portland / Jolla / New York / /

Company

ACM Press / Proceedings / /

Country

Germany / /

/

Facility

Carnegie Mellon University / Massachusetts Institute of Technology / Rice University / /

IndustryTerm

trail algorithm / type-theoretic tools / inference algorithm / call-site / type inference algorithm / type systems / static type systems / uni cation algorithm / /

Organization

Rice University / Houston / Module Level Martin Gasbichler Holger Gast Wilhelm-Schickard-Institut / MIT / Carnegie Mellon University / Pittsburgh / Massachusetts Institute of Technology / /

Person

Michael Sperber / Robinet / Proc / Barbara Liskov / Andrew Wright / /

Position

editor / interpreter / programmer / /

ProgrammingLanguage

Haskell / Scsh / ML / Bigloo / /

ProvinceOrState

Texas / Pennsylvania / New York / California / Massachusetts / /

Technology

Functional Programming / object-oriented programming / inference algorithm / checking algorithm / type inference algorithm / trail algorithm / uni cation algorithm / /

URL

http /

SocialTag