Misplaced Pages

The following pages link to John C. Mitchell

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• Abstract data type (links | edit)
• Double-ended queue (links | edit)
• Lambda calculus (links | edit)
• Programming language (links | edit)
• John Mitchell (links | edit)
• Type system (links | edit)
• Encapsulation (computer programming) (links | edit)
• Is-a (links | edit)
• Value (computer science) (links | edit)
• Assignment (computer science) (links | edit)
• Semantics (computer science) (links | edit)
• Function type (links | edit)
• Expression (mathematics) (links | edit)
• Expression (computer science) (links | edit)
• Inheritance (object-oriented programming) (links | edit)
• Gordon Plotkin (links | edit)
• Paris Kanellakis (links | edit)
• Programming Computable Functions (links | edit)
• Programming language theory (links | edit)
• Categorical set theory (links | edit)
• List of programming language researchers (links | edit)
• Albert R. Meyer (links | edit)
• Bounded quantification (links | edit)
• Object-oriented programming (links | edit)
• Elie Bursztein (links | edit)
• John Clifford Mitchell (redirect page) (links | edit)
• Value restriction (links | edit)
• Browser security (links | edit)
• Patrick Lincoln (links | edit)
• Kathleen Fisher (links | edit)
• Oblivious data structure (links | edit)
• List of fellows of the Association for Computing Machinery (links | edit)
• Peggy Cebe (links | edit)
• Vanessa Teague (links | edit)
• List of American Academy of Arts and Sciences members (2006–2019) (links | edit)
• Vitaly Shmatikov (links | edit)
• Talk:John C. Mitchell (transclusion) (links | edit)
• User:Mathbot/List of mathematical redlinks (J) (links | edit)
• User:Jon Awbrey/BIB (links | edit)
• User:Fropuff/Redlinks (links | edit)
• User:Salih/MathRedlinks (links | edit)
• User:AlexNewArtBot/SouthernCaliforniaSearchResult/archive44 (links | edit)
• User:AlexNewArtBot/SFBayAreaSearchResult/archive12 (links | edit)
• User:AlexNewArtBot/EducationSearchResult/archive112 (links | edit)
• User:Ruud Koot/Computer science/Lambda calculus (links | edit)
• User:EranBot/Copyright/rc/32 (links | edit)
• User talk:Ruud Koot/2014 (links | edit)
• User talk:Judith.g.romero (links | edit)
• Misplaced Pages:Redirects for discussion/Log/2019 February 11 (links | edit)
• Misplaced Pages:Reference desk/Archives/Mathematics/2021 November 12 (links | edit)