About Me
Archive
-
►
2007
(32)
-
►
January
(9)
- Quotient Types for Information Hiding
- How Many Functions are There of Type Bool -> Bool?...
- Bug Reporting
- Foralls, Redexes, and Type Lambdas
- Foralls, Kinds with Arrows, and Impredicativity (?...
- Non-constructive Proofs and Programming
- Non-constructive Proofs and Productivity
- Static Security Assurance From Afar
- Type (Dis)equality
-
►
January
(9)
Blog reactions to blog.jbapple.com
Types feed
Labels
- GADTs (7)
- constructive logic (6)
- ordinals (6)
- Haskell (5)
- Leibniz equality (3)
- Simulating Dependent Types with Guarded Algebraic Datatypes (3)
- countability (3)
- C++ (2)
- Coq (2)
- GHC (2)
- Heyting algebra (2)
- V=L (2)
- _|_ (2)
- dependent types (2)
- effect inference (2)
- effects (2)
- lightweight static capabilities (2)
- nested types (2)
- quotient types (2)
- referential transparency (2)
- zero-knowledge proof (2)
- CPOs (1)
- Dependent ML (1)
- Fomega (1)
- Liskov substitutability (1)
- ML (1)
- OOP (1)
- bugs (1)
- cardinal numbers (1)
- conferences (1)
- continuity (1)
- copious free time (1)
- definability (1)
- flow caml (1)
- fuzzy logic (1)
- grammar checking (1)
- impredicativity (1)
- information flow (1)
- kinds (1)
- laypeople (1)
- morphisms (1)
- parallel or (1)
- polymorphism (1)
- refinement types (1)
- sized lists (1)
- static analysis (1)
- termination (1)
- type disequality (1)
Types blogs
0 comments:
Post a Comment