evertedsphere / shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

30 stars 0 forks source link

Meta: dumping ground for papers #10

Open evertedsphere opened 4 years ago

evertedsphere commented 4 years ago

Move discussion into the linked issues when they're more than just "this paper looks cool".

Candidate core calculi

Imperative languages

Oxide (#3 + #1)

QTT

McBride's original QTT (#3 + #1 #7)

Atkey QTT (#3 + #1 #7)

Abel QTT (#3 + #1 #7)

tracks usage in both types and terms

Meta

[ ] generate this issue from org-mode export