Back to Results
First PageMeta Content
Computer programming / Greek letters / Notation / Programming language theory / Homeric epics / Standard ML / Symbol / Greek alphabet


1ML – Core and modules united (F-ing first-class modules) Andreas Rossberg Google [removed] Abstract
Add to Reading List

Document Date: 2015-02-26 10:44:21

Open Document

File Size: 314,23 KB

Share Result on Facebook

/

Event

Product Issues / Product Recall / /

IndustryTerm

type systems / basic algorithmic tool / inductive algorithm / inference algorithms / typed systems / dependent type machinery / /

Person

Ai / Meta-Theory It / Andreas Rossberg / /

Position

representative / Type structure General / Harper / programmer / /

Product

purity / /

ProgrammingLanguage

Haskell / ML / Standard ML / C++ / /

Technology

XML / inference algorithms / inductive algorithm / dom / /

SocialTag