diff options
| author | Eduardo Julian | 2021-11-08 02:02:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-11-08 02:02:27 -0400 |
| commit | df6cf0d3c980e3d7240eec6cb38d86af61037725 (patch) | |
| tree | 6654307936eeeb0947bb7e8db8e9e94430c8c2dd /documentation/bookmark/type_theory.md | |
| parent | 305a3b5bca562601ee37b4cac69dd02f245830db (diff) | |
Sharing the same Function class between bootsrapper and JVM compiler.
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) |