| Document Date: 2005-06-07 07:03:50
Open Document File Size: 246,10 KBShare Result on Facebook
City Padova / Paris / / Company MIT Press / / Country Italy / United Kingdom / / Currency pence / / / Facility C. Hall / University of Padova / / IndustryTerm Polynomial-time algorithms / inference algorithm / refined solution / polynomial-time algorithm / type inference algorithm / simplification algorithms / type systems / closure algorithm / incremental closure algorithm / / Organization Santiago M. Peric´as-Geertsen Department / MIT / Department of Mathematics / Boston University / University of Padova / / Person Francois Pottier / Jens Palsberg / Marina Baldan / Addison Wesley / Alan Mycroft / Patric Cousot / L. Peyton Jones / Craig Chambers / Michele Bugliesi Dipartimento di Informatica / Santiago M. Peric / / Position judge / / ProgrammingLanguage Haskell / Java / ML / / TVStation Wand / / Technology simplification algorithms / incremental closure algorithm / Java / Information Technology / Polynomial-time algorithms / polynomial-time algorithm / inference algorithm / Dom / closure algorithm / type inference algorithm / 5 Type Inference The type inference algorithm / / URL http /
SocialTag |
In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica