Pages with the fewest revisions
From The Twelf Project
Showing below up to 50 results in range #1 to #50.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)
- POPL Tutorial/Session 2 Starter (2 revisions)
- Developers (2 revisions - redirect page)
- Twelf-list (2 revisions - redirect page)
- POPL Tutorial/Pattern matching (2 revisions)
- Proofs by reductio ad absurdum (2 revisions - redirect page)
- %subord (2 revisions)
- Congruence lemmas (2 revisions - redirect page)
- Typed combinators soundness and completeness (2 revisions)
- Using nat-less with %reduces (2 revisions)
- Ground (2 revisions)
- World subsumption (2 revisions)
- Autofreeze (2 revisions - redirect page)
- Church-Rosser (w/ catch-all case) (2 revisions)
- Unary numbers (2 revisions - redirect page)
- Quick introduction (2 revisions - redirect page)
- Deductive system (2 revisions - redirect page)
- The Best Fake cigarette Sold in the market (2 revisions)
- Summer school 2008:Type safety for MinML (extrinsic encoding) (2 revisions)
- POPL Tutorial/Control machine (2 revisions)
- POPL Tutorial/cps-rp (2 revisions)
- Computation and Deduction 2009/20090304 (2 revisions)
- Deductive systems (2 revisions - redirect page)
- %thaw (2 revisions)
- Respects lemmas (2 revisions - redirect page)
- POPL Tutorial/cps-truefalse (2 revisions)
- Eta-long (2 revisions - redirect page)
- Real World Binding Structures (2 revisions - redirect page)
- Hereditary substitution (2 revisions)
- Summer school 2008:Type safety for MinML with monadic effects (putngetn) (2 revisions)
- Negation as failure (2 revisions)
- ConstructiveSemantics (2 revisions)
- Evaluation contexts (2 revisions)
- %prove (2 revisions)
- Numeric termination metric (2 revisions - redirect page)
- POPL Tutorial/Exceptions (2 revisions)
- POPL Tutorial/Session 2 (2 revisions)
- CADE Tutorial/Combinators (2 revisions)
- Ambiguous hyperkind (2 revisions)
- Unsafe mode (2 revisions)
- Regular world (2 revisions - redirect page)
- Summer school 2008:Typed arithmetic expressions (extrinsic encoding) (2 revisions)
- Iterated Let Bindings (2 revisions)
- POPL Tutorial/cps (2 revisions)
- Signatures as logic programs (2 revisions)
- Equivalence relation (2 revisions)
- %solve (3 revisions)
- CADE Tutorial/MinML (3 revisions)
- Relation (3 revisions)
- POPL Tutorial/Combinators Support (3 revisions)
- Type family (3 revisions)