Pages with the most categories

Showing below up to 50 results starting with #1.

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

1. Sets and supersets ‎(4 categories)
2. POPL Tutorial/Pattern matching ‎(4 categories)
3. Correctness of mergesort ‎(4 categories)
4. Pattern matching ‎(4 categories)
5. Letrec ‎(4 categories)
6. Negation as failure ‎(4 categories)
7. %subord ‎(4 categories)
8. Mutable state ‎(3 categories)
9. Output freeness ‎(3 categories)
10. %total ‎(3 categories)
11. Fixity declaration ‎(3 categories)
12. Zermelo Frankel ‎(3 categories)
13. Church-Rosser via complete development ‎(3 categories)
14. Natural numbers with inequality ‎(3 categories)
15. Sudoku ‎(3 categories)
16. Summer school 2008:Type safety for MinML (extrinsic encoding) ‎(2 categories)
17. POPL Tutorial/Evaluation Contexts Intrinsic ‎(2 categories)
18. C machine and focusing (composition in machine state) ‎(2 categories)
19. Type family ‎(2 categories)
20. LF ‎(2 categories)
21. POPL Tutorial/Sequent vs Natural Deduction ‎(2 categories)
22. POPL Tutorial/MinML Answer ‎(2 categories)
23. Computation and Deduction 2009/20090420 ‎(2 categories)
24. Concrete representation ‎(2 categories)
25. Summer school 2008:Type safety for MinML (intrinsic encoding) ‎(2 categories)
26. POPL Tutorial/CPS Solutions ‎(2 categories)
27. Computation and Deduction 2009/20090204 ‎(2 categories)
28. TAT/plus.elf ‎(2 categories)
29. Summer school 2008:Type safety for MinML with monadic effects ‎(2 categories)
30. POPL Tutorial/Session 4 Answer ‎(2 categories)
31. Computation and Deduction 2009/20090316 ‎(2 categories)
32. Syntax (Object logic) ‎(2 categories)
33. Subordination ‎(2 categories)
34. POPL Tutorial/Combinators session (answers) ‎(2 categories)
35. Computation and Deduction 2009/20090422 ‎(2 categories)
36. Tabled logic programming ‎(2 categories)
37. Summer school 2008:Type safety for polymorphic MinML (intrinsic encoding) ‎(2 categories)
38. POPL Tutorial/Exceptions ‎(2 categories)
39. Weak focusing ‎(2 categories)
40. TAT/church.elf ‎(2 categories)
41. Lexicographical orderings with density ‎(2 categories)
42. Hereditary substitution for the STLC ‎(2 categories)
43. Summer school 2008:Type safety for MinML with monadic effects (putngetn) ‎(2 categories)
44. POPL Tutorial/Session 2 Starter ‎(2 categories)
45. Computation and Deduction 2009/20090318 ‎(2 categories)
46. Judgment ‎(2 categories)
47. World subsumption ‎(2 categories)
48. POPL Tutorial/Cost semantics ‎(2 categories)
49. POPL Tutorial/Combinators session ‎(2 categories)
50. Computation and Deduction 2009/20090427 ‎(2 categories)

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