Back to Results
First PageMeta Content
Applied mathematics / Programming language semantics / Models of computation / Formal methods / Denotational semantics / Operational semantics / Semantics of programming languages / Semantics / Lambda calculus / Theoretical computer science / Mathematics / Logic in computer science


Semantics of Programming Languages Computer Science Tripos, Part 1B 2008–9
Add to Reading List

Document Date: 2009-01-16 04:23:41

Open Document

File Size: 849,58 KB

Share Result on Facebook

City

Moscow / Pierce / /

Company

MIT Press / Abstract Syntax / /

Facility

Mutable Store / Aarhus University / L2 store / Computer Laboratory Library / Peter Sewell Computer Laboratory University of Cambridge Schedule / /

IndustryTerm

course web page / type systems / Transition systems / on-line feedback form / /

OperatingSystem

Sequent / Linux / L3 / /

Organization

Intel Lab / Aarhus University / MIT / Peter Sewell Computer Laboratory University of Cambridge Schedule / /

Person

Andrew Kennedy / R. Milner / Peter Sewell / Benjamin Pierce / Andrew Pitts / /

Position

writer / Major / programmer / /

ProgrammingLanguage

Standard ML / XML / Java / Ruby / R / XQuery / C / T / /

ProvinceOrState

British Columbia / /

TVStation

Wand / /

Technology

Alpha / XML / Java / Linux / dom / /

URL

http /

SocialTag