All pages

From Spivey's Corner

Jump to: navigation, search
All pages
 All pages
A Kripke Koan
A Kripke koan
A Kripke kōan
A tail of woeAlgorithm Development and CorrectnessAn A level paper
Appointments 10-11 May 2012
Appointments 10 May 2012
Benchmark results
Books and background reading (Programming Languages)Building GeomLabBytecode instructions for OBC
Calendar of classesCalling convention for OBCCatalogue of interpreters (Programming Languages)
Category Theory for Functional ProgrammingClass membersClass sign up
Classes in GeomLabCode for Lunar Lander
Compilers
Compilers (2011 remix)
Compilers (2012 remix)Compilers (old school)
Compilers IICompiling OBC
Compiling OBC (Imperative Programming)
Computer ArchitectureComputing at SchoolCourse outline (Compilers)
Course outline (Imperative Programming)Course outline (Object-Oriented Programming)Course outline (Programming Languages)
Course outline 2009 (Programming Languages)Course outline 2011 (Programming Languages)Data representations for OBC
Debugger interfaces for OBCDefunctionalization (Programming Languages)Design documents for OBC
Design overview for OBCDigital HardwareDownloading GeomLab
Draft papersDuality in linear programmingEnd of term slots
Environments and memoriesError messages from GeomLabExam papers
Exam papers/archiveExample program for OBCExamples classes (Imperative Programming)
Extra stuff (Programming Languages)FAQ archive (Compilers)FAQ archive (Imperative Programming)
FAQ archive (Programming Languages)Frequently asked questions (Compilers)Frequently asked questions (Imperative Programming)
Frequently asked questions (Object-Oriented Programming)Frequently asked questions (Programming Languages)Fun in OCaml (Programming Languages)
Fun vs GHCI
Functional Programming Made Difficult
GeomLab
GeomLab - exploring Computer ScienceGeomLab commandsGeomLab language
GeomLab talk
Geomlab
Getting started with GeomLab
Glossary (Programming Languages)
Haskell vs Scheme (Programming Languages)
Hints and tips
Hints and tips for GeomLab
Imperative Programming
Imperative Programming I
Installing GHC (Programming Languages)Installing Minix 2 on VirtualBox
Installing Minix 2 on virtual machines
Installing OBC release 2.7Installing OBC release 2.8Installing OBC release 2.9
Instruction set for OBCInternal interfaces in the OBC debuggerInternet Explorer and Unicode
IntroductionIntroduction to GeomLabJIT interface for OBC
Java is not installedKeiko on MindstormsLaboratory exercises (Compilers)
Laboratory exercises (Imperative Programming)Laboratory exercises (Object-Oriented Programming)Laboratory exercises (Programming Languages)
Laboratory exercises under Windows (Imperative Programming)Lego Mindstorms NXTLogic Programming
Logic in Computer ScienceMainly for teachersMaking your own tiles
Map showing Spivey's CornerMaterials for M.Sc. assignment 2011 (Programming Languages)
Missing in action
Missing lab materialsNot a monad (Programming Languages)Obfuscated PDF
Object-Oriented ProgrammingOperating SystemsOutreach stuff
Oxford Oberon-2 compilerPapers by Richard SwinburnePreparatory problems
Printing the New Testament in GreekProblem sheets (Compilers)Problem sheets (Imperative Programming)
Problem sheets (Object-Oriented Programming)Problem sheets (Programming Languages)Programming Languages
Proving a monadic equivalence (Programming Languages)QuotationsRandom links
Random quotationsReading list (Compilers)Reading list (Imperative Programming)
Reading list (Object-Oriented Programming)Real programming languagesRisc86
SandboxScheme vs Haskell (Programming Languages)Semantics of while loops (Programming Languages)
Software (Compilers)
Software (Imperative Programming)
Software (Object-Oriented Programming)
Specification of Keiko (Compilers)
Spivey's Corner -- meet the band
Spivey's Corner – meet the band
Styles of semantics (Programming Languages)Syllabus and synopsis (Compilers)Syllabus and synopsis (Imperative Programming)
Syllabus and synopsis (Programming Languages)Syntax highlighting of Oberon code (Imperative Programming)Tangerine Tree
Tangerine Tree set 1Tangerine Tree set 10Tangerine Tree set 2
Tangerine Tree set 3Tangerine Tree set 4Tangerine Tree set 5
Tangerine Tree set 6Tangerine Tree set 7Tangerine Tree set 8
Tangerine Tree set 9Tangerine Tree volumes by yearTeaching programming at school and at university
The Book (Programming Languages)The GeomLab languageThe GeomLab library
The ppc2 compilerTwice twice twiceType of callcc (Programming Languages)
Undergraduate and M.Sc. projectsUsing GeomLabWelcome to Spivey's Corner
What WeakHashMap is good forWhen to sack your web developerWhy choose Oberon? (Imperative Programming)
Wisdom from Planet TomWorksheet 1: Above and besideWorksheet 2: Rotations and reflections
Worksheet 3: Definitions and functionsWorksheet 4: Recurrences and recursionWorksheet 5: Spirals and zig-zags
Worksheet 6: Escher picturesWorksheet 7: Space-filling curvesWorksheet 8: Turtle graphics
Worksheet 9: Colours and imagesWorksheets for GeomLabZeitgeist setlist
⸮
Retrieved from "http://spivey.oriel.ox.ac.uk/corner/Special:AllPages"
Navigation
Toolbox