Back to Results
First PageMeta Content
Programming language theory / Data types / Models of computation / Program analysis / Type system / Subtype polymorphism / Symbol / Lambda calculus / Eval / Software engineering / Type theory / Computing


Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail:
Add to Reading List

Document Date: 2005-06-07 06:35:07

Open Document

File Size: 288,24 KB

Share Result on Facebook

Company

ESPRIT / /

/

IndustryTerm

direct technical device / search expression / search succ / type systems / /

Person

Michele Bugliesi Dipartimento di Matematica / Viviana Bono / /

ProgrammingLanguage

Lambda Calculus / /

Technology

Dom / /

SocialTag