Hyperfunctions
Communicating Continuations
Posted on January 8, 2026
| 1 min
| 163 words
| Donnacha Kidney
| Nicolas Wu
The Silent (R)evolution of SAT
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
Posted on May 24, 2023
| 1 min
| 49 words
| Johannes K. Fichte
| Daniel Le Berre
| Markus Hecher
| Stefan Szeider
Functions and Jordan canonical forms of Riordan matrices
Posted on March 15, 2019
| 1 min
| 90 words
| Massimo Nocentini
| Donatella Merlini
Algebraic Generating Functions for Languages Avoiding Riordan Patterns
Posted on January 21, 2018
| 1 min
| 142 words
| Massimo Nocentini
| Donatella Merlini
Eļ¬cient representations for triangular substitutions
A comparison in miniKanren
Posted on March 1, 2015
| 1 min
| 168 words
| David C. Bender
| Lindsey Kuper
| William E. Byrd
| Daniel P. Friedman
Axioms for Centrality
Posted on August 9, 2013
| 2 min
| 292 words
| Paolo Boldi
| Sebastiano Vigna
miniKanren, live and untagged
Quine generation via relational interpreters
Posted on September 9, 2012
| 3 min
| 466 words
| William E. Byrd
| Eric Holk
| Daniel P. Friedman
Teaching the art of computer programming
Posted on May 6, 2011
| 1 min
| 117 words
| Frank Ruskey
The igraph software package for complex network research
Posted on January 1, 2006
| 1 min
| 114 words
| Massimo Nocentini
Final shift for call/cc
Direct implementation of shift and reset
Posted on September 17, 2002
| 7 min
| 1487 words
| Martin Gasbichler
| Michael Sperber