Tree: 2e61275a5b

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '2e61275a5b'

${ noResults }

Commit Graph

494 Commits (2e61275a5ba3babbba93c59b2351857b4b456ef6)

 

All Branches   

Search

Author	SHA1	Message	Date
Daniel Hillerström	2e61275a5b	Fix typo; fix sentence structure. This commit fixes a typo in the type signature of `init` (thanks to Ramsay Carslaw for spotting it). This commit also structures the last sentence of Section 2.7 to read slightly better.	2 years ago
Daniel Hillerström	aea67c86b4	Fix typo	3 years ago
Daniel Hillerström	5ede30903f	Fix typo	3 years ago
Daniel Hillerström	03b7c5b548	Fix typo. Slightly reword an awkward sentence.	3 years ago
Daniel Hillerström	7535fe7ecc	Fix typos in handler typing rules in the appendix	3 years ago
Daniel Hillerström	72b54ad278	Add missing space in 'Evaluationcontexts' in Figure 3.5	3 years ago
Daniel Hillerström	01e707822f	Fix typo in T-Let Figure 3.4	3 years ago
Daniel Hillerström	2cecb13d34	Update all slides	3 years ago
Daniel Hillerström	ed634fcaa3	Update slides	3 years ago
Daniel Hillerström	c60dc80fde	Update slides	3 years ago
Daniel Hillerström	e86597f4e4	Draft lecture notes	3 years ago
Daniel Hillerström	2b7b1df8db	Merge branch 'master' of github.com:dhil/phd-dissertation	3 years ago
Daniel Hillerström	20f44ad547	Fix typo	3 years ago
Daniel Hillerström	101ac96aa2	NU PRL slides	3 years ago
Daniel Hillerström	e6182105de	Merge branch 'master' of github.com:dhil/phd-dissertation	3 years ago
Daniel Hillerström	63fe9a738a	Prepare slides for Huawei Research Centre Zurich seminar	3 years ago
Daniel Hillerström	3a9394baf8	Fix a minor typo	3 years ago
Daniel Hillerström	6193214890	Update slides	4 years ago
Daniel Hillerström	ffe6ebd0b9	Update MSR 2022 slides	4 years ago
Daniel Hillerström	01a8a3d581	Draft MSR talk	4 years ago
Daniel Hillerström	008e80ea67	Link to thesis. Update README to reflect the structure of the revised thesis.	4 years ago
Daniel Hillerström	3276537ab1	Tweak acknowledgements	4 years ago
Daniel Hillerström	20551152b3	Minor tweaks and typo fixes.	4 years ago
Daniel Hillerström	8679803146	Fix typo	4 years ago
Daniel Hillerström	d7bd881a00	Update latest draft	4 years ago
Daniel Hillerström	f5685fe70d	Chapter 8	4 years ago
Daniel Hillerström	7f3503153f	Minor fixes	4 years ago
Daniel Hillerström	40c6505ae2	Simplify	4 years ago
Daniel Hillerström	b897751a38	Note on reduction relation	4 years ago
Daniel Hillerström	3e1bbf3206	Fix todo	4 years ago
Daniel Hillerström	40948507e9	CPS outline	4 years ago
Daniel Hillerström	2a800f07e2	WIP	4 years ago
Daniel Hillerström	d3921f24e3	WIP	4 years ago
Daniel Hillerström	7063acb4e7	Related work	4 years ago
Daniel Hillerström	c9ff1d9af8	Chapter 3	4 years ago
Daniel Hillerström	fff15c9c83	Section 2.6 and 2.7	4 years ago
Daniel Hillerström	a24a33dcf8	Section 2.5	4 years ago
Daniel Hillerström	6c128a1181	Section 2.4	4 years ago
Daniel Hillerström	98784c59ab	Section 2.3	4 years ago
Daniel Hillerström	6492391ed4	Section 2.2	4 years ago
Daniel Hillerström	cea34c85e1	Section 2.1	4 years ago
Daniel Hillerström	40b1144d9b	Chapter 2 outline, relation to prior work, and terminology.	4 years ago
Daniel Hillerström	3067bfb939	fix chapter 2 intro	4 years ago
Daniel Hillerström	83b5f7db99	Start implementing the corrections.	4 years ago
Daniel Hillerström	981b0d48f8	Update README with viva date.	4 years ago
Daniel Hillerström	ee8a4ab2dd	Fix a couple of typos	4 years ago
Daniel Hillerström	3fda920eae	Minor improvement	4 years ago
Daniel Hillerström	0b198e7a25	Add paper references	4 years ago
Daniel Hillerström	740413ed1b	Viva slides	4 years ago
Daniel Hillerström	7ed7a44d61	Package the draft as an archive	5 years ago