https://github.com/michaelsproul/honours-thesis

4th Year Honours Thesis on Programming Language Semantics
https://github.com/michaelsproul/honours-thesis

coq honours-thesis programming-language software-verification type-system

Last synced: 9 months ago
JSON representation

4th Year Honours Thesis on Programming Language Semantics

• Host: GitHub
• URL: https://github.com/michaelsproul/honours-thesis
• Owner: michaelsproul
• Created: 2015-08-24T08:17:18.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2016-06-13T13:00:30.000Z (about 10 years ago)
• Last Synced: 2025-07-14T20:56:19.933Z (12 months ago)
• Topics: coq, honours-thesis, programming-language, software-verification, type-system
• Language: TeX
• Homepage:
• Size: 29.7 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
Honours Stuff

====

* Papers and summaries of papers.

* Books.

* Links to webpages/books (no need to store them, there's always archive.org).

  Discussions of links.

* Code and proofs.

* Slides and talks.

* Papers and literature reviews I've written.

Layout:

- Papers

- Books

- Links.md (file)

- Code

- Presentations

- Thesis