Pages with the fewest revisions

Showing below up to 50 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

1. Summer school 2008:Type safety for MinML (extrinsic encoding) ‎(2 revisions)
2. POPL Tutorial/Control machine ‎(2 revisions)
3. POPL Tutorial/cps-rp ‎(2 revisions)
4. Computation and Deduction 2009/20090304 ‎(2 revisions)
5. Deductive systems ‎(2 revisions - redirect page)
6. Respects lemmas ‎(2 revisions - redirect page)
7. %thaw ‎(2 revisions)
8. POPL Tutorial/cps-truefalse ‎(2 revisions)
9. Eta-long ‎(2 revisions - redirect page)
10. Real World Binding Structures ‎(2 revisions - redirect page)
11. Hereditary substitution ‎(2 revisions)
12. Summer school 2008:Type safety for MinML with monadic effects (putngetn) ‎(2 revisions)
13. Negation as failure ‎(2 revisions)
14. ConstructiveSemantics ‎(2 revisions)
15. Evaluation contexts ‎(2 revisions)
16. %prove ‎(2 revisions)
17. Numeric termination metric ‎(2 revisions - redirect page)
18. POPL Tutorial/Exceptions ‎(2 revisions)
19. POPL Tutorial/Session 2 ‎(2 revisions)
20. Ambiguous hyperkind ‎(2 revisions)
21. Unsafe mode ‎(2 revisions)
22. Regular world ‎(2 revisions - redirect page)
23. Summer school 2008:Typed arithmetic expressions (extrinsic encoding) ‎(2 revisions)
24. Iterated Let Bindings ‎(2 revisions)
25. POPL Tutorial/cps ‎(2 revisions)
26. Signatures as logic programs ‎(2 revisions)
27. Equivalence relation ‎(2 revisions)
28. POPL Tutorial/Session 2 Starter ‎(2 revisions)
29. Developers ‎(2 revisions - redirect page)
30. Twelf-list ‎(2 revisions - redirect page)
31. POPL Tutorial/Pattern matching ‎(2 revisions)
32. Proofs by reductio ad absurdum ‎(2 revisions - redirect page)
33. %subord ‎(2 revisions)
34. Congruence lemmas ‎(2 revisions - redirect page)
35. Typed combinators soundness and completeness ‎(2 revisions)
36. Using nat-less with %reduces ‎(2 revisions)
37. Ground ‎(2 revisions)
38. World subsumption ‎(2 revisions)
39. Church-Rosser (w/ catch-all case) ‎(2 revisions)
40. Unary numbers ‎(2 revisions - redirect page)
41. Autofreeze ‎(2 revisions - redirect page)
42. Quick introduction ‎(2 revisions - redirect page)
43. Deductive system ‎(2 revisions - redirect page)
44. The Best Fake cigarette Sold in the market ‎(2 revisions)
45. POPL Tutorial/Session 4 Live ‎(3 revisions)
46. Fixity declaration ‎(3 revisions)
47. Judgments as types ‎(3 revisions - redirect page)
48. POPL Tutorial/MinML Starter ‎(3 revisions)
49. POPL Tutorial/MinML encoding ‎(3 revisions)
50. Twelf signature ‎(3 revisions)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)