Back to Results
First PageMeta Content
Mathematics / Standard ML / Natural transformation / Sheaf / Limit / Grothendieck topology / Module / Exact functor / Yoneda lemma / Category theory / Abstract algebra / Functors


Transparent Modules with Fully Syntactic Signatures Zhong Shao Dept. of Computer Science Yale University New Haven, CT[removed]removed]
Add to Reading List

Document Date: 2000-03-14 14:04:42

Open Document

File Size: 223,58 KB

Share Result on Facebook

Company

EMC / Courant / /

Currency

GBP / /

/

IndustryTerm

large systems / large software systems / extensible systems / functor applications / large software / definition site / type-checking algorithm / /

Organization

Defense Advanced Research Projects Agency / National Science Foundation / U.S. Government / Federal Trade Commission / Yale University / /

/

Position

VP / head at once / representative / Harper / /

Product

APPS / /

ProgrammingLanguage

V / Standard ML / Modula-2 / R / ML / T / C++ / Modula-3 / /

ProvinceOrState

Connecticut / /

Technology

type-checking algorithm / AV / Software Evolution using HOT Language Technology / TCP/IP protocol / /

SocialTag