diff options
Diffstat (limited to 'documentation/bookmark/type_theory.md')
| -rw-r--r-- | documentation/bookmark/type_theory.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/type_theory.md b/documentation/bookmark/type_theory.md index b27a26a37..ee7af75b7 100644 --- a/documentation/bookmark/type_theory.md +++ b/documentation/bookmark/type_theory.md @@ -1,5 +1,6 @@ # Reference +1. [A Sequent Calculus for Type Theory](http://www.cs.ru.nl/J.McKinna/RESEARCH/csl2006.pdf) 1. [Statically typed PostgreSQL queries in TypeScript](https://www.cs.mcgill.ca/~mxia3/2016/11/18/Statically-typed-PostgreSQL-queries-and-typescript-schemats/) 1. [Lambdas are Codatatypes](http://blog.ielliott.io/lambdas-are-codatatypes/) 1. [SPL LIFT— Statically Analyzing Software Product Linesin Minutes Instead of Years](https://www.bodden.de/pubs/bmb+13spllift.pdf) |