okmij.org: 19 stories from 16 submitters

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