skip to main
|
skip to sidebar
Everyone Else is Crazy
A blog about typed programming
No posts with label
C++
.
Show all posts
No posts with label
C++
.
Show all posts
Home
Subscribe to:
Posts (Atom)
About Me
Jim Apple
West Coast, United States
View my complete profile
Archive
▼
2008
(7)
▼
March
(2)
Region, Effect and Closure Inference, implemented
Types at reddit
►
February
(3)
►
January
(2)
►
2007
(32)
►
December
(1)
►
November
(1)
►
September
(2)
►
August
(3)
►
July
(4)
►
June
(4)
►
March
(1)
►
February
(7)
►
January
(9)
Blog reactions to blog.jbapple.com
Loading...
Types reddit
Loading...
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