Category:Twelf code
From The Twelf Project
This is the category for any Twelf code fragments, signatures, etc. on the site. Literate Twelf pages are automatically placed in this category, and other pages that have a significant amount of code in them probably should too.
Pages in category "Twelf code"
The following 140 pages are in this category, out of 140 total.
C
- C machine and focusing
- C machine and focusing (composition in machine state)
- C machine and focusing (internalized compositon)
- CADE Tutorial/Basics Answer
- CADE Tutorial/Combinators Answer
- CADE Tutorial/Combinators Support
- CADE Tutorial/MinML Answer
- CADE Tutorial/MinML encoding
- Church-Rosser (w/ catch-all case)
- Church-Rosser (w/ identity reduction)
- Church-Rosser via complete development
- Classical S5
- Computation and Deduction 2009/20090203
- Computation and Deduction 2009/20090204
- Computation and Deduction 2009/20090209
- Computation and Deduction 2009/20090223
- Computation and Deduction 2009/20090304
- Computation and Deduction 2009/20090304-support
- Computation and Deduction 2009/20090316
- Computation and Deduction 2009/20090318
- Computation and Deduction 2009/20090325
- Computation and Deduction 2009/20090330
- Computation and Deduction 2009/20090401
- Computation and Deduction 2009/20090406
- Computation and Deduction 2009/20090408
- Computation and Deduction 2009/20090413
- Computation and Deduction 2009/20090415
- Computation and Deduction 2009/20090420
- Computation and Deduction 2009/20090422
- Computation and Deduction 2009/20090427
- Computation and Deduction 2009/20090429
- Concrete representation
- Correctness of mergesort
F
H
L
P
- Pattern matching
- Polarized PCF
- POPL Tutorial/Basics Answer
- POPL Tutorial/Basics Starter
- POPL Tutorial/Big step, small step
- POPL Tutorial/Big step, small step: Solution
- POPL Tutorial/Church Rosser (Problem)
- POPL Tutorial/Combinators (karl)
- POPL Tutorial/Combinators Answer
- POPL Tutorial/Combinators session
- POPL Tutorial/Combinators session (answers)
- POPL Tutorial/Combinators Support
- POPL Tutorial/Control machine
- POPL Tutorial/Cost semantics
- POPL Tutorial/cps
- POPL Tutorial/CPS Solution2
- POPL Tutorial/CPS Solutions
- POPL Tutorial/cps-problem
- POPL Tutorial/cps-problem2
- POPL Tutorial/cps-rp
- POPL Tutorial/Evaluation Contexts Intrinsic
- POPL Tutorial/Exceptions
- POPL Tutorial/Exceptions-problem
- POPL Tutorial/MinML Answer
- POPL Tutorial/MinML encoding
- POPL Tutorial/MinML Preservation Theorem
- POPL Tutorial/MinML Preservation Theorem: Solution
- POPL Tutorial/MinML Starter
- POPL Tutorial/Nat
- POPL Tutorial/New language
- POPL Tutorial/Pattern matching
- POPL Tutorial/Sequent vs Natural Deduction
- POPL Tutorial/Sequent vs Natural Deduction: Solution
- POPL Tutorial/Session 2 Answer
- POPL Tutorial/Session 2 Script
- POPL Tutorial/Session 2 Starter
- POPL Tutorial/Session 4 Answer
- POPL Tutorial/Session 4 Live
- POPL Tutorial/Session 4 Starter
- POPL Tutorial/Typed bracket abstraction
- POPL Tutorial/Typed bracket abstraction (solution)
- POPL Tutorial/Typed bracket abstraction with equivalence
R
S
- Sets and supersets
- Sudoku
- Summer school 2008:Alternate typed arithmetic expressions with sums
- Summer school 2008:Arithmetic expressions
- Summer school 2008:Arithmetic expressions with call-by-value let-binding
- Summer school 2008:Arithmetic expressions with let-binding
- Summer school 2008:Arithmetic expressions with let-binding (hypothetical evaluation)
- Summer school 2008:Encoding of System F
- Summer school 2008:Type safety for MinML (extrinsic encoding)
- Summer school 2008:Type safety for MinML (intrinsic encoding)
- Summer school 2008:Type safety for MinML with monadic effects
- Summer school 2008:Type safety for MinML with monadic effects (putngetn)
- Summer school 2008:Type safety for polymorphic MinML (intrinsic encoding)
- Summer school 2008:Typed arithmetic expressions
- Summer school 2008:Typed arithmetic expressions (extrinsic encoding)
- Summer school 2008:Typed arithmetic expressions (value)
- Summer school 2008:Typed arithmetic expressions with pairs
- Summer school 2008:Typed arithmetic expressions with sums
- Summer school 2008:Typed arithmetic expressions with sums 2
