Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  apple  video  google  health  show  theverge.com  game  arstechnica.com  release  openai  youtube.com  web  security  psychology  theguardian.com  javascript  psypost.org 
Loading...

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

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

30 days ago okmij.org lisp pdf scheme

How the OCaml type checker works (2022)

28 days ago okmij.org ocaml

Higher-kinded bounded polymorphism in OCaml (2021)

49 days ago okmij.org ocaml

Lambda to SKI, semantically

5 months ago okmij.org lambda pdf plt

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

6 months ago okmij.org

Patterns of data flow in words

15 months ago okmij.org

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

17 months ago okmij.org

Free Variables and Free Effects

19 months ago okmij.org plt

Poster/slides directly in PostScript

2 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

3 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)

5 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

6 years ago okmij.org

Non-determinism: a sublanguage rather than a monad

6 years ago okmij.org monad

Backtracking, Interleaving, and Terminating Monad Transformers

7 years ago okmij.org monad

Little Oddities

7 years ago okmij.org

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

7 years ago okmij.org ocaml

Free and Freer Monads: Putting Monads Back into Closet

8 years ago okmij.org

IO Monad Realized in 1965 (2012)

8 years ago okmij.org monad

Unix Pipes as IO Monads (2001)

9 years ago okmij.org

More →