Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: github.com  ai  rust  health  google  youtube.com  show  video  javascript  release  apple  go  techcrunch.com  web  nature.com  eurekalert.org  trump  china  linux  arstechnica.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

A Dream of an Ultimate OS (1995)

20 days ago okmij.org osdev

Unhygienic and referentially opaque macros with Scheme syntax-rules [pdf] (2013)

3 months ago okmij.org lisp pdf scheme

How the OCaml type checker works (2022)

3 months ago okmij.org ocaml

Higher-kinded bounded polymorphism in OCaml (2021)

3 months ago okmij.org ocaml

Lambda to SKI, semantically

7 months ago okmij.org lambda pdf plt

Patterns of data flow in words: How to liberate APL from its style?

8 months ago okmij.org

Patterns of data flow in words

17 months ago okmij.org

Subtyping, Subclassing, and the Trouble with OOP (A classic from 2001 proving that OOP is unsound)

20 months ago okmij.org

Free Variables and Free Effects

21 months ago okmij.org plt

Poster/slides directly in PostScript

3 years ago okmij.org

myawk: shell/AWK/Perl-like scripting in OCaml

3 years ago okmij.org ocaml

Session Types without Sophistry

3 years ago okmij.org

Modular, composable, typed optimizations in the tagless-final style

4 years ago okmij.org

A dream of an ultimate OS

5 years ago okmij.org

Lightweight Static Guarantees

5 years ago okmij.org

Programming Language Reminiscence: R-Technology

5 years ago okmij.org

Generating Mutually Recursive Definitions

5 years ago okmij.org

Many faces of the fixed-point combinator - Oleg K.

5 years ago okmij.org

What polymorphism and garbage collection have in common (2013)

6 years ago okmij.org

Strongly Typed Heterogeneous Collections (2004)

6 years ago okmij.org

Implementing and Understanding Type Classes (2014)

6 years ago okmij.org

Monadic i/o and Unix shell programming (2001)

6 years ago okmij.org

The challenge of first-class memory

6 years ago okmij.org

Having an Effect

7 years ago okmij.org

Non-determinism: a sublanguage rather than a monad

7 years ago okmij.org monad

Backtracking, Interleaving, and Terminating Monad Transformers

7 years ago okmij.org monad

Little Oddities

8 years ago okmij.org

How OCaml type checker works, or what polymorphism and garbage collection have in common

8 years ago okmij.org ocaml

Free and Freer Monads: Putting Monads Back into Closet

9 years ago okmij.org

IO Monad Realized in 1965 (2012)

9 years ago okmij.org monad

More →