The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf] (simon.peytonjones.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of simon.peytonjones.org: The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]

First screen, captured 1 year ago.

Looks similar

Screenshot of nsl.com: F (2006)

F (2006)(nsl.com)

133 points by hwayne 2 years ago | 13 comments

Screenshot of chiark.greenend.org.uk: Coroutines in C (2000)

Coroutines in C (2000)(chiark.greenend.org.uk)

278 points by ColinWright 2 years ago | 84 comments

Screenshot of franklin.dyer.me: A Curried Composition Puzzle

A Curried Composition Puzzle (franklin.dyer.me)

83 points by 082349872349872 2 years ago | 11 comments

Screenshot of lair.masot.net: The Gamma Language

The Gamma Language (lair.masot.net)

26 points by RossBencina 10 months ago | 4 comments

Screenshot of xorvoid.com: Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com)

194 points by xorvoid 2 years ago | 59 comments

Screenshot of hbr.github.io: Programming with Lambda Calculus

Programming with Lambda Calculus (hbr.github.io)

5 points by dargscisyhp 2 years ago | 0 comments