Back to Results
First PageMeta Content
Computer programming / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Subtype polymorphism / Type system / System F / Foreach loop / Software engineering / Computing / Type theory


Object Calculi with Dynamic Messages Michele Bugliesi∗ Dip. di Informatica Universit` a “Ca’ Foscari” di Venezia Via Torino 155, IMestre (VE), Italy
Add to Reading List

Document Date: 2005-06-07 07:06:13

Open Document

File Size: 168,24 KB

Share Result on Facebook

Company

ACM Press / /

Country

Italy / /

/

Facility

University of Padova / /

IndustryTerm

type inference algorithm / /

Person

Min Appl / Bi / Min Obj / Silvia Crafa Dip / /

Position

author / /

ProgrammingLanguage

Lambda Calculus / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Functional Programming / object-oriented programming / type inference algorithm / /

SocialTag