thesis

log

find changesets by author, revision, files, or words in the commit message
less more | rev 111: (0) -100 -60 tip
age author description
2009-12-26 Andrew John Hughes Don't print page number on blank second page.default tip
2009-12-11 andrew Update date.
2009-12-11 andrew Further Graham fixes.
2009-11-23 Andrew John Hughes Add diaeresis.
2009-11-20 Andrew John Hughes Add corrections from Mike.
2009-11-05 Andrew John Hughes Shorten titles of advantages/limitations sections.
2009-11-05 Andrew John Hughes Chop abstract to fit.
2009-11-05 Andrew John Hughes Fix end line on page of its own.
2009-11-05 Andrew John Hughes Use 40mm inside margin as required, and fix formatting to match.
2009-11-03 Andrew John Hughes Mike's quibbles.
2009-11-02 Andrew John Hughes Final cleanup.
2009-11-02 Andrew John Hughes Correct spelling mistakes and typos.
2009-11-02 Andrew John Hughes Add Rob's corrections.
2009-11-02 Andrew John Hughes Add note on scope mobility.
2009-11-02 Andrew John Hughes Add correction 5.
2009-11-02 Andrew John Hughes Add contribution 6.
2009-11-02 Andrew John Hughes Add correction 8.
2009-11-02 Andrew John Hughes Correction 7.
2009-11-02 Andrew John Hughes Add typing derivation diagram.
2009-11-02 Andrew John Hughes Add corrections 3 and 4.
2009-10-31 Andrew John Hughes List all contributions and expand structure of thesis to include all sections.
2009-10-29 Andrew John Hughes Add abstract.
2009-10-29 Andrew John Hughes Add abstract section and fix formatting.
2009-10-28 Andrew John Hughes Add translation schema and factor syntax out into separate file.
2009-10-28 Andrew John Hughes Fix all but one quibble...
2009-10-26 Andrew John Hughes More quibbles.
2009-10-22 Andrew John Hughes Complete quibbles 1-6.
2009-10-21 Andrew John Hughes Change to Harvard bibliographic style. Add corrections from Graham's copy.
2009-10-19 andrew Fix Graham's typo quibbles.
2009-10-19 Andrew John Hughes Fix mixup of CaSE and CCS.
2009-09-18 Andrew John Hughes Final pre-submission amendments.
2009-09-18 Andrew John Hughes Mike's corrections.
2009-09-18 Andrew John Hughes Mention inversion of typing rules.
2009-09-18 Andrew John Hughes Refer to proofs in types chapter.
2009-09-18 Andrew John Hughes Add progress proof. Explain how properties of semantics hold.
2009-09-18 Andrew John Hughes Finish preservation proof.
2009-09-18 Andrew John Hughes Add Mike and Marian's corrections.
2009-09-17 Andrew John Hughes Finish typed musical chairs. Prefix type rules with T-. Add explicit binding of X.
2009-09-17 Andrew John Hughes Type system corrections.
2009-09-17 Andrew John Hughes Add further preservation proof.
2009-09-17 Andrew John Hughes Document explicit type assignment. Extend proof.
2009-09-16 Andrew John Hughes Remove use of \pi in typing rules, add Var and structural congruence.
2009-09-16 Andrew John Hughes Add preservation proof.
2009-09-16 Andrew John Hughes Corrections on chapter 5. Introduction and conclusion on 3.
2009-09-15 Andrew John Hughes Mention Grand Central.
2009-09-15 Andrew John Hughes Merge
2009-09-15 Andrew John Hughes Complete chapter 7.
2009-09-15 Andrew John Hughes Change Makefile to handle multiple targets
2009-09-14 Andrew John Hughes Session 1: Corrections on chapters 3 and 4, intro to 5.
2009-09-14 Andrew John Hughes Add more on Seal calculus. Add DynamiTE TNT writeup.
2009-09-11 Andrew John Hughes Literature review for DynamiTE.
2009-09-09 Andrew John Hughes Write up prototypical application in DynamiTE.
2009-09-08 Andrew John Hughes Discuss the Evolver framework. Expand future work for DynamiTE.
2009-09-07 Andrew John Hughes Add discussion of the context and evolver framework.
2009-09-06 Andrew John Hughes Explain Parallel rule in DynamiTE.
2009-09-05 Andrew John Hughes Add discussion of Delta and Rec classes to DynamiTE section.
2009-09-04 Andrew John Hughes Use Delta to simplify waiting for input to finish outputting results.
2009-09-04 Andrew John Hughes Add prototypical application in Nomadic Time.
2009-09-04 Andrew John Hughes Add semantics for CaSE.
2009-08-24 Andrew John Hughes Fix DynamiTE citation.
less more | rev 111: (0) -100 -60 tip