okmij.org: 15 stories from 13 submitters

  1. 9
    Free Variables and Free Effects plt okmij.org
    squadette avatar via squadette 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 8
    Poster/slides directly in PostScript graphics historical okmij.org
    michiel avatar via michiel 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  3. 20
    myawk: shell/AWK/Perl-like scripting in OCaml ml programming unix okmij.org
    andyc avatar via andyc 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 7
    Lightweight Static Guarantees ml plt programming okmij.org
    mt avatar via mt 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  5. 22
    A dream of an ultimate OS (1996) historical osdev okmij.org
    pushcx avatar via pushcx 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  6. 7
    Strongly-Typed Heterogenous Collections (2004) ☶ pdf haskell okmij.org
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 12
    Having an Effect ☶ compsci haskell ml okmij.org
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 13
    Little Oddities ☶ haskell lisp ml okmij.org
    bsima avatar via bsima 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 8
    How OCaml type checker works, or what polymorphism and garbage collection have in common ml okmij.org
    unbalancedparentheses avatar via unbalancedparentheses 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 8
    Putting Monads Back into Closet haskell okmij.org
    SeanW avatar via SeanW 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 13
    UNIX pipes as IO monads haskell programming unix okmij.org
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 5
    Approximate Dependent-Type Programming haskell programming okmij.org
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 8
    An argument against call/cc (2012) lisp okmij.org
    mjn avatar via mjn 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 2
    Typed tagless-final interpretations: Lecture notes compsci okmij.org
    cmeiklejohn avatar via cmeiklejohn 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 3
    How OCaml type checker works -- or what polymorphism and garbage collection have in common compsci okmij.org
    SeanTAllen avatar via SeanTAllen 10 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments