Pages with the most categories

From The Twelf Project
Jump to: navigation, search

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

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

  1. Correctness of mergesort‏‎ (4 categories)
  2. %subord‏‎ (4 categories)
  3. POPL Tutorial/Pattern matching‏‎ (4 categories)
  4. Pattern matching‏‎ (4 categories)
  5. Letrec‏‎ (4 categories)
  6. Sets and supersets‏‎ (4 categories)
  7. Negation as failure‏‎ (4 categories)
  8. Mutable state‏‎ (3 categories)
  9. %total‏‎ (3 categories)
  10. Output freeness‏‎ (3 categories)
  11. Fixity declaration‏‎ (3 categories)
  12. Church-Rosser via complete development‏‎ (3 categories)
  13. Zermelo Frankel‏‎ (3 categories)
  14. Sudoku‏‎ (3 categories)
  15. Natural numbers with inequality‏‎ (3 categories)
  16. Higher-order judgements‏‎ (2 categories)
  17. Summer school 2008:Typed arithmetic expressions‏‎ (2 categories)
  18. Summer school 2008:Alternate typed arithmetic expressions with sums‏‎ (2 categories)
  19. POPL Tutorial/cps-problem‏‎ (2 categories)
  20. POPL Tutorial/CPS Solution2‏‎ (2 categories)
  21. POPL Tutorial/Session 4 Starter‏‎ (2 categories)
  22. POPL Tutorial/Combinators session (answers)‏‎ (2 categories)
  23. POPL Tutorial/MinML Preservation Theorem: Solution‏‎ (2 categories)
  24. Computation and Deduction 2009/20090304-support‏‎ (2 categories)
  25. Computation and Deduction 2009/20090325‏‎ (2 categories)
  26. Computation and Deduction 2009/20090420‏‎ (2 categories)
  27. Hereditary substitution with a zipper‏‎ (2 categories)
  28. CADE Tutorial/Combinators Support‏‎ (2 categories)
  29. Object logic‏‎ (2 categories)
  30. Respects lemma‏‎ (2 categories)
  31. %freeze‏‎ (2 categories)
  32. Tabled logic programming‏‎ (2 categories)
  33. Explicit context‏‎ (2 categories)
  34. Hereditary substitution‏‎ (2 categories)
  35. Summer school 2008:Typed arithmetic expressions with pairs‏‎ (2 categories)
  36. Summer school 2008:Typed arithmetic expressions (extrinsic encoding)‏‎ (2 categories)
  37. Summer school 2008:Typed arithmetic expressions with sums 2‏‎ (2 categories)
  38. POPL Tutorial/Cost semantics‏‎ (2 categories)
  39. Polarized PCF‏‎ (2 categories)
  40. POPL Tutorial/Big step, small step‏‎ (2 categories)
  41. POPL Tutorial/Session 4 Live‏‎ (2 categories)
  42. POPL Tutorial/Combinators session‏‎ (2 categories)
  43. POPL Tutorial/MinML encoding‏‎ (2 categories)
  44. Computation and Deduction 2009/20090203‏‎ (2 categories)
  45. Computation and Deduction 2009/20090330‏‎ (2 categories)
  46. Computation and Deduction 2009/20090422‏‎ (2 categories)
  47. Verifications and uses with zippers‏‎ (2 categories)
  48. CADE Tutorial/Combinators Answer‏‎ (2 categories)
  49. Meta-logic‏‎ (2 categories)
  50. Equivalence relation‏‎ (2 categories)

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