Tree: 7ed7a44d61

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '7ed7a44d61'

${ noResults }

Commit Graph

404 Commits (7ed7a44d61800191c313ccfa0d7815d1e3217289)

Author	SHA1	Message	Date
Daniel Hillerström	09cd57fbce	Builtin state intro	5 years ago
Daniel Hillerström	5981ac986c	WIP	5 years ago
Daniel Hillerström	a46e2fd5d6	WIP	5 years ago
Daniel Hillerström	4ece98ba21	State example with delimited control	5 years ago
Daniel Hillerström	a609ca4b81	WIP	5 years ago
Daniel Hillerström	d0061e18c2	WIP	5 years ago
Daniel Hillerström	c28aef1c9e	Notes on why first-class control matters	5 years ago
Daniel Hillerström	8ecfadb94e	Fix Ref macro	5 years ago
Daniel Hillerström	52b12535ae	WIP	5 years ago
Daniel Hillerström	bce45f10e3	fix typo	5 years ago
Daniel Hillerström	1129d2bb71	WIP	5 years ago
Daniel Hillerström	9ba7def07b	WIP	5 years ago
Daniel Hillerström	2eb5b0d4ba	WIP	5 years ago
Daniel Hillerström	1c692d8cbf	WIP	5 years ago
Daniel Hillerström	4d5bd3e08e	Update conclusion	5 years ago
Daniel Hillerström	b13960a5e1	Fix spacing in stepsto type declaration	5 years ago
Daniel Hillerström	84fe38105e	Contributions and outline	5 years ago
Daniel Hillerström	aacee4d72a	WIP	5 years ago
Daniel Hillerström	1bca580f1f	Reword conclusion	5 years ago
Daniel Hillerström	b02743df0f	WIP	5 years ago
Daniel Hillerström	b76e18488c	WIP	5 years ago
Daniel Hillerström	60976a7013	WIP	5 years ago
Daniel Hillerström	e88d27740d	WIP	5 years ago
Daniel Hillerström	74c25ce63b	Rewording and reordering	5 years ago
Daniel Hillerström	f9d92a231e	Example done	5 years ago
Daniel Hillerström	50125e86ac	Example	5 years ago
Daniel Hillerström	d6b67950b2	WIP	5 years ago
Daniel Hillerström	fc0c6a98bb	WIP	5 years ago
Daniel Hillerström	388dc36b20	WIP	5 years ago
Daniel Hillerström	61b2ce4f66	Realisability	5 years ago
Daniel Hillerström	08b107323d	WIP	5 years ago
Daniel Hillerström	1a93d1a5b7	Conclusions notes [WIP]	5 years ago
Daniel Hillerström	febf2a06c0	Abstract machine correctness	5 years ago
Daniel Hillerström	0861e926ee	abstract machine related work	5 years ago
Daniel Hillerström	9f5b2ba56c	WIP	5 years ago
Daniel Hillerström	78e291d602	WIP	5 years ago
Daniel Hillerström	d8ac28a9ee	Abstract machine WIP	5 years ago
Daniel Hillerström	817676f8e8	Edits	5 years ago
Daniel Hillerström	4c480a4b6e	Abstract machine figures	5 years ago
Daniel Hillerström	408b6041f6	WIP	5 years ago
Daniel Hillerström	950bee7ce3	Fix typos in chapter 9	5 years ago
Daniel Hillerström	25b48c1082	Reword	5 years ago
Daniel Hillerström	0cd953ac94	Interdefinability of effect handlers	5 years ago
Daniel Hillerström	34d724919f	WIP	5 years ago
Daniel Hillerström	2f7da6ed15	WIP	5 years ago
Daniel Hillerström	5f7e8eadd2	Prove lemma	5 years ago
Daniel Hillerström	284139375a	Interdefinability WIP2	5 years ago
Daniel Hillerström	28aaebf5ec	WIP	5 years ago
Daniel Hillerström	f1d88fbcc4	Interdefinability WIP	5 years ago
Daniel Hillerström	669b708a79	Related work for CPS	5 years ago