Back to Results
First PageMeta Content
Symbol / Type system / Software engineering / Type inference / Orbifold / Type theory / Programming language theory / Theoretical computer science


Document Date: 2008-10-29 09:09:56

Open Document

File Size: 230,46 KB

Share Result on Facebook

Currency

pence / /

/

Facility

Deferral Michal Moskal Institute of Computer Science / /

IndustryTerm

type inference algorithm / nominal type systems / type systems / /

Organization

Deferral Michal Moskal Institute of Computer Science / University of Wroclaw / /

Position

semantics and object model / where possible / model for the CIL4 / /

ProgrammingLanguage

E / Nemerle / C / Common Intermediate Language / ML / T / Java / C++ / /

Technology

functional programming / type inference algorithm / Java / /

URL

http /

SocialTag