skip to main | skip to sidebar

Everyone Else is Crazy

A blog about typed programming

Saturday, March 22, 2008

Region, Effect and Closure Inference, implemented

Last post

Ben Lippmeier has posted an implementation of his region, effect, and closure inference in a Haskell dialect called The Disciplined Disciple Compiler.

Posted by Jim Apple at 3/22/2008 02:31:00 PM 0 comments  

Labels: effect inference

Sunday, March 16, 2008

Types at reddit

I have created a subreddit for types. (Static analysis is also welcome.)

Posted by Jim Apple at 3/16/2008 09:31:00 PM 1 comments  

Newer Posts Older 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