Back to Results
First PageMeta Content
Type theory / Type system / Standard ML / Subroutine / Programming language / Lambda calculus / Type inference / Abstraction / System F / Software engineering / Computing / Programming language theory


Static Dependent Types for First Class Modules Mark A. Sheldon and David K. Gi ord Laboratory for Computer Science Massachusetts Institute of Technology Abstract
Add to Reading List

Document Date: 2013-07-14 14:56:24

Open Document

File Size: 204,13 KB

Share Result on Facebook

City

Miami / Ithaca / /

Company

M.I.T. Laboratory / Russell / /

Currency

PEN / /

Facility

Cornell University / Syracuse University / Computer Science Massachusetts Institute of Technology Abstract Static / Since square / /

IndustryTerm

ect systems / large systems / deductions conventional type systems / typed systems / /

Movie

We shall see / /

Organization

Defense Advanced Research Projects Agency / Department of Computer Science / Institute of Technology Abstract Static / Syracuse University / Massachusetts Institute of Technology / Cornell University / U.S. Department of Defense / /

Person

Alan Demers / Alan Snyder / Nancy Jean McCracken / Eliot Moss / David K. Gi / James O'Toole / Robert Schei / Jonathan Rees / Franklyn Turbak / Michael Blair / John C. Mitchell / Gordon D. Plotkin / Pierre Jouvelot / Mark Reinhold / Luca Cardelli / Douglas J. Howe / John M. Lucassen / Hans-Juergen Boehm / David MacQueen / Barbara Liskov / J. Craig Scha / David K. Gifford / Mark A. Sheldon / Toby Bloom / /

Position

straight-forward / Interpreter / programmer / /

ProgrammingLanguage

CLU / Lisp / ML / K / /

ProvinceOrState

Florida / New York / /

Technology

Functional Programming / /

SocialTag