Bookmarks

Program Synthesis: The λ in the Machine

The Cricket Language

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)

Simon Peyton Jones discusses small-core language design in Haskell and the new Verse language, delving into functional-logic programming concepts and their educational implications.

Why OCaml

What is PLUS times PLUS?

The Death of Monads? Direct Style Algebraic Effects

A Gentle Introduction to Lambda Calculus - Part 1: Syntax

Why Futhark?

slpj-book-1987.djvu

John Carmack on Functional Programming in C++

Structure and Interpretation of Computer Programs, 2nd ed.

Subcategories