Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

larrytheliquid

larrytheliquid
1 Stars

PhD candidate studying dependent type theory at Portland State University.

Decks

Generic Zero-Cost Reuse for Dependent Types
larrytheliquid
0
90
Martin-Löf's Type Theory (MLTT)
larrytheliquid
2
810
Fully Generic Programming over Closed Universes of Types
larrytheliquid
0
280
Expressionless Weak-Head Normal Forms
larrytheliquid
0
460
Tableau Theorem Prover for Intuitionistic Propositional Logic
larrytheliquid
0
430
Inspective Equality @ Iowa
larrytheliquid
1
190
Hereditary substitution
larrytheliquid
0
340
Towards a Dependent Type Theory with First-Class Datatype Definitions
larrytheliquid
2
420

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade