Search
 
   

9 results for "domain:okmij.org"

  1. 12
    Having an Effect ☶ compsci haskell ml okmij.org
    minimax avatar via minimax 11 months ago | cached | no comments
  2. 13
    Little Oddities ☶ haskell lisp ml okmij.org
    bsima avatar via bsima 1 year ago | cached | no comments
  3. 8
    How OCaml type checker works, or what polymorphism and garbage collection have in common ml okmij.org
    unbalancedparentheses avatar via unbalancedparentheses 1 year ago | cached | no comments
  4. 8
    Putting Monads Back into Closet haskell okmij.org
    SeanW avatar via SeanW 2 years ago | cached | 1 comment
  5. 13
    UNIX pipes as IO monads haskell programming unix okmij.org
    pushcx avatar via pushcx 2 years ago | cached | 2 comments
  6. 5
    Approximate Dependent-Type Programming haskell programming okmij.org
    pushcx avatar via pushcx 3 years ago | cached | no comments
  7. 8
    An argument against call/cc (2012) lisp okmij.org
    mjn avatar via mjn 3 years ago | cached | 2 comments
  8. 2
    Typed tagless-final interpretations: Lecture notes compsci okmij.org
    cmeiklejohn avatar via cmeiklejohn 4 years ago | cached | no comments
  9. 3
    How OCaml type checker works -- or what polymorphism and garbage collection have in common compsci okmij.org
    SeanTAllen avatar via SeanTAllen 5 years ago | cached | no comments