MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Polymorphic lambda calculus and subtyping." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Adrian Fiech  
  • by David Schmidt Computer, Adrian Fiech, David A. Schmidt
  • …Polymorphic Lambda Calculus and Subtyping Adrian Fiech 1 David A. Schmidt 2 Computer Science…
  • Add To MetaCart
  • -819 Typed Compilation Spring 2000 Karl Crary  
  • by Lecture February Scribe, Karl Crary, Scribe Kevin Watkins
  • … should already be familiar: ffl The syntax and type system of the polymorphic lambda calculus. ffl…
  • Add To MetaCart
  • A survey on formal models for OO  
  • by Nc E F, Mens Tom, Tom Mens — 1994
  • … polymorphic lambda-calculus with subtyping. F_) can either be considered as an extension of F_ with higher…
  • Add To MetaCart
  • Foundations for Virtual Types  
  • by Atsushi Igarashi, Benjamin C. Pierce — 1998 — Information and Computation
  • … ! (the omega-order polymorphic lambda-calculus with subtyping [Car90, CL91, PS94, Com94]) plus dependent…
  • Cited by 20 (1 self) – Add To MetaCart
  • Typed Compilation of Inclusive Subtyping  
  • by Karl Crary — 2000 — In 2000 ACM SIGPLAN International Conference on Functional Programming
  • …-time effect. In what follows, familiarity is assumed with the polymorphic lambda calculus, subtyping, bounded…
  • Cited by 14 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB