Wen Kokke
|
f06137a621
|
Added fix-whitespace.yaml and fixed whitespace.
|
2020-08-19 21:54:32 +02:00 |
|
wadler
|
310c80a9bc
|
fix typo
|
2020-08-07 09:05:37 +01:00 |
|
wadler
|
406918768d
|
more publishing stuff
|
2020-05-29 10:17:50 -03:00 |
|
wadler
|
23a84b75d3
|
publishing info and final pdf
|
2020-05-29 10:16:30 -03:00 |
|
wadler
|
805f1fd31a
|
updated name
|
2020-03-30 09:06:53 -03:00 |
|
wadler
|
dacd7c9d78
|
added SCP final version
|
2020-03-30 09:05:58 -03:00 |
|
wadler
|
460c87eeaa
|
update pdf
|
2020-03-12 16:45:54 -03:00 |
|
wadler
|
9171a5c632
|
add pdf
|
2020-03-10 11:17:07 -03:00 |
|
wadler
|
6300a449ff
|
revision of scp paper
|
2020-03-04 19:16:18 -03:00 |
|
wadler
|
5e1dc3ef7c
|
added submitted version to repository
|
2019-07-21 14:31:40 +01:00 |
|
wadler
|
ea343fae2e
|
fix spelling
|
2019-07-21 14:15:11 +01:00 |
|
wadler
|
88474a6cb2
|
switch to extrinsic/intrinsic terminology
|
2019-07-21 14:11:07 +01:00 |
|
wadler
|
bf7e40ee6e
|
Added highlights
|
2019-07-19 22:37:34 +01:00 |
|
wadler
|
590fec866f
|
Added conflicts
|
2019-07-19 22:22:08 +01:00 |
|
wadler
|
6959465c09
|
fixed typo
|
2019-07-19 00:21:32 +01:00 |
|
wadler
|
6b1e3eb69b
|
small fixes to SCP paper
|
2019-07-19 00:16:31 +01:00 |
|
wadler
|
253f5a618c
|
small fixes to SCP paper
|
2019-07-19 00:12:06 +01:00 |
|
Wen Kokke
|
f2c73681d6
|
Minor changes
|
2019-07-16 16:48:45 +01:00 |
|
Wen Kokke
|
72c273c10b
|
Minor edit to SCP paper
|
2019-07-16 16:39:13 +01:00 |
|
Jeremy Siek
|
4beb334092
|
minor edits
|
2019-07-16 08:18:36 -04:00 |
|
bruno cuconato
|
b3c377efc6
|
fix typo
|
2019-07-16 09:58:31 +01:00 |
|
Wen Kokke
|
7e30176b2b
|
Removed grades
|
2019-07-15 16:57:24 +01:00 |
|
Wen Kokke
|
3e2bd1a4e5
|
Updated SCP paper
|
2019-07-15 15:47:47 +01:00 |
|
wadler
|
c57e466c7c
|
fixed some wording
|
2019-07-15 12:45:19 +01:00 |
|
wadler
|
3fbe431387
|
changes to intro and conclusion
|
2019-07-15 12:36:57 +01:00 |
|
wadler
|
e2389f26f4
|
finished segment on exams
|
2019-07-15 08:43:24 +01:00 |
|
wadler
|
0f74ad7563
|
Halfway through adding material on experience teaching the course
|
2019-07-14 22:37:28 +01:00 |
|
wadler
|
2efbb40508
|
new material on animation
|
2019-07-14 19:24:52 +01:00 |
|
Wen Kokke
|
038358aad1
|
Rewrote section on tactics and Hoare logic
|
2019-07-14 16:09:07 +01:00 |
|
Wen Kokke
|
92c250e7d5
|
Rewrote first person in sections 2 and onwards
|
2019-07-14 14:21:39 +01:00 |
|
Jeremy Siek
|
040903bbbe
|
additions to section 2, and spell check
|
2019-07-12 11:38:12 -04:00 |
|
Jeremy Siek
|
444fd1d3d6
|
progress on my updates to section 2
|
2019-07-11 16:37:06 -04:00 |
|
Wen Kokke
|
d2145da417
|
Updated .gitignore; rewrote SCP paper to use elsarticle class
|
2019-07-01 20:37:22 +02:00 |
|
Wen Kokke
|
5d21b09743
|
Cleaned up SCP source.
|
2019-07-01 17:53:50 +02:00 |
|
Wen Kokke
|
85f0dce1ac
|
Cleaned up sbmf source.
|
2019-07-01 17:52:46 +02:00 |
|
Wen Kokke
|
48aea0854f
|
Moved sbmf/sbmf to papers/sbmf and copied over for scp
|
2019-07-01 17:48:01 +02:00 |
|
wadler
|
15cb3a372f
|
removing papers
|
2018-10-16 17:19:14 +02:00 |
|
wadler
|
e9e21a56c1
|
added papers
|
2018-10-02 21:19:23 +01:00 |
|
wadler
|
11632baef4
|
added some research papers
|
2018-10-02 20:34:22 +01:00 |
|
wadler
|
030e7f0a6d
|
added papers
|
2018-09-22 10:20:10 +01:00 |
|