Back to Results
First PageMeta Content
Functors / Standard ML / Sheaf / Natural transformation / Limit / Combinatorial species / Map / Grothendieck topology / Yoneda lemma / Category theory / Abstract algebra / Mathematics


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:54

Open Document

File Size: 149,96 KB

Share Result on Facebook

City

Paris / /

Company

ŽcPvò Kg / Courant / /

Country

France / /

Currency

pence / GBP / /

/

IndustryTerm

large systems / large software systems / sum-based module systems / extensible systems / functor applications / large software / dependent product / definition site / type-checking algorithm / /

Organization

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

/

Position

Vp / head at once / Major / representative / Harper / /

ProgrammingLanguage

Standard ML / XML / Modula-2 / R / C / ML / K / C++ / Modula-3 / /

ProvinceOrState

Connecticut / /

Technology

Functional Programming / XML / type-checking algorithm / Software Evolution using HOT Language Technology / TCP/IP protocol / /

SocialTag