okmij.org okmij.org

Program Generation Formalisms and Staged Calculi

okmij.org·6w

Anaphora in Static Orthodox First-Order Logic:

okmij.org·10w

Having an Effect (2016)

okmij.org·52w·

Discuss: Hacker News

Nested grouping-aggregation: Vertical monoid composition.

okmij.org·27w·

Discuss: Hacker News

Delimited Dynamic Binding:

okmij.org·32w

A bit of history

okmij.org·32w

(Delimited) Dynamically scoped variables in OCaml,

okmij.org·32w

(BER) MetaOCaml N153

okmij.org·37w

Compilers: Incrementally and Extensibly

okmij.org·45w·

Discuss: Lobsters, Hacker News

Module Extensibility and Separate Compilation

okmij.org·45w

More appreciation for a for-loop:

okmij.org·52w

preface

okmij.org·58w

Shonan Seminar 181

okmij.org·58w

Complete Stream Fusion for Software-Defined Radio:

okmij.org·58w

Towards a Theory of Anaphoric Binding in Event Semantics.

okmij.org·58w

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

okmij.org·58w

a realistic starting example of staging,

okmij.org·58w

From poly-variadic combinator to poly-variadic schema

okmij.org·62w

Slide-Effect: Slide overlays and delimited control.

okmij.org·71w