Long pages

Showing below up to 50 results in range #1 to #50.

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

1. (hist) ‎Indexed HOAS nat bijection ‎[581,923 bytes]
2. (hist) ‎HOAS nat bijection ‎[252,103 bytes]
3. (hist) ‎Lily ‎[138,061 bytes]
4. (hist) ‎Hereditary substitution for the STLC (part 2) ‎[60,265 bytes]
5. (hist) ‎Lax logic ‎[58,986 bytes]
6. (hist) ‎Focusing ‎[50,372 bytes]
7. (hist) ‎Linear logic ‎[47,508 bytes]
8. (hist) ‎User-defined constraint domain ‎[45,671 bytes]
9. (hist) ‎Hereditary substitution for the STLC ‎[35,247 bytes]
10. (hist) ‎Big algebraic solver ‎[34,556 bytes]
11. (hist) ‎Typed combinators soundness and completeness ‎[34,269 bytes]
12. (hist) ‎Concrete representation ‎[30,432 bytes]
13. (hist) ‎Correctness of mergesort ‎[27,002 bytes]
14. (hist) ‎CPS conversion ‎[26,809 bytes]
15. (hist) ‎Bibliography of LF ‎[26,149 bytes]
16. (hist) ‎Pattern matching ‎[25,889 bytes]
17. (hist) ‎Classical S5 ‎[25,782 bytes]
18. (hist) ‎First-order encodings ‎[24,657 bytes]
19. (hist) ‎Mutable state ‎[23,976 bytes]
20. (hist) ‎Double-negation translation ‎[19,933 bytes]
21. (hist) ‎Weak focusing ‎[19,293 bytes]
22. (hist) ‎POPL Tutorial/Properties of Typing and Reduction ‎[17,106 bytes]
23. (hist) ‎POPL Tutorial/Typed bracket abstraction with equivalence ‎[16,027 bytes]
24. (hist) ‎POPL Tutorial/Session 2 Answer ‎[15,779 bytes]
25. (hist) ‎Debugging coverage errors ‎[15,658 bytes]
26. (hist) ‎Computation and Deduction 2009/20090429 ‎[15,550 bytes]
27. (hist) ‎Church-Rosser via complete development ‎[14,503 bytes]
28. (hist) ‎Admissibility of cut ‎[14,334 bytes]
29. (hist) ‎Signatures as logic programs ‎[13,899 bytes]
30. (hist) ‎POPL Tutorial/Big step, small step ‎[13,631 bytes]
31. (hist) ‎Letrec ‎[13,048 bytes]
32. (hist) ‎Computation and Deduction 2009/20090427 ‎[12,851 bytes]
33. (hist) ‎Reformulating languages to use hypothetical judgements ‎[12,744 bytes]
34. (hist) ‎Verifications and uses ‎[12,598 bytes]
35. (hist) ‎POPL Tutorial/Pattern matching ‎[12,453 bytes]
36. (hist) ‎Church-Rosser (w/ catch-all case) ‎[12,389 bytes]
37. (hist) ‎Twelf style guide ‎[12,303 bytes]
38. (hist) ‎Church-Rosser (w/ identity reduction) ‎[12,141 bytes]
39. (hist) ‎POPL Tutorial/Big step, small step: Solution ‎[12,131 bytes]
40. (hist) ‎Substitution lemma ‎[11,973 bytes]
41. (hist) ‎POPL Tutorial/Church Rosser (Problem) ‎[11,492 bytes]
42. (hist) ‎Computation and Deduction 2009/20090408 ‎[11,393 bytes]
43. (hist) ‎Metatheorem ‎[11,291 bytes]
44. (hist) ‎Lists ‎[11,049 bytes]
45. (hist) ‎Uniqueness lemma ‎[10,718 bytes]
46. (hist) ‎POPL Tutorial/Cost semantics ‎[10,497 bytes]
47. (hist) ‎Polarized PCF ‎[10,347 bytes]
48. (hist) ‎Strengthening ‎[10,056 bytes]
49. (hist) ‎Structural metrics ‎[9,603 bytes]
50. (hist) ‎CADE Tutorial/Basic error messages ‎[9,399 bytes]

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