Back to Results
First PageMeta Content
Programming language theory / Data types / Polymorphism / Lambda calculus / Object-oriented programming / Type system / Type inference / Hindley–Milner / Simply typed lambda calculus / Software engineering / Type theory / Computing


Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø
Add to Reading List

Document Date: 2010-10-22 08:04:52

Open Document

File Size: 683,75 KB

Share Result on Facebook

City

Copenhagen / /

Company

Old System / Other Standard Type Systems / /

Country

Denmark / /

/

Event

Business Partnership / Bankruptcy / /

Facility

Computer Science University of Copenhagen Universitetsparken / Oregon State University / /

IndustryTerm

larger applications / automatic tool / program development tool / partial evaluation machinery / type systems / /

MarketIndex

Set 10 / /

Organization

Oregon State University / Computer Science University of Copenhagen Universitetsparken / /

Person

Jens Palsberg / Dirk Dusart / Torben Amtoft / Fritz Henglein / Flemming Nielson / Anders Bondorf / Jesper Jørgensen / Charles Consel / Dirk Dussart / David Sands / Lewis Carrol / /

Position

MP-interpreter / MP / Schism partial evaluator / engaged supervisor / Interpreter / programmer / /

ProgrammingLanguage

Lambda Calculus / C / ML / /

Technology

74 9.2 Algorithm / 71 9 Algorithm / /

SocialTag