Profile cover photo
Profile photo
Rowan Davies
About
Posts

Post has attachment
Alas, the video for this session captured only the first half. The code we wrote in the session is currently at: https://github.com/CommBank/PLATYPUS/blob/master/twelf/demo/code.elf#L226-L268

https://www.youtube.com/watch?v=m6YVOSHi7jE

Post has attachment
20151216 Hands-on workshop with Twelf (Part 2 of 2)
https://www.youtube.com/watch?v=IIITTJhZh88

Post has attachment
20151209 Hands-on workshop with Twelf (Part 1 of 2)
https://www.youtube.com/watch?v=fDvRAKY-I34

Post has attachment

Post has attachment
Chapter 10 Products (plus the last part of Chapter 9)
https://youtu.be/1g-vPGVaGHU

Post has attachment

I recommend this series of 4 talks by Bob Harper on Type Theory Foundations - it has more context in logic than his book PFPL:
https://www.youtube.com/watch?v=ev7AYsLljxk
https://www.youtube.com/watch?v=3JHTb6b1to8
https://www.youtube.com/watch?v=wJLTE8rnqH0
https://www.youtube.com/watch?v=P6YUm_E6rRA

Post has attachment
Chapter 9 Sums
Here's a link to the video from yesterday. Not sure if this is needed. Or whether it will work.
https://www.youtube.com/watch?v=CBW1eVzBs7U

Post has attachment
Add a comment...

Post has attachment
Rowan Davies and 1 other was tagged in Rowan Davies's album.
PhotoPhotoPhotoPhotoPhoto
View album
Commenting is disabled for this post.

Post has attachment
Photo
Add a comment...
Wait while more posts are being loaded