Common Lisp

Quickref / Declt featured image
Document Engineering

Quickref / Declt

Automatic documentation for Common Lisp libraries

Read more
SUBTYPEP

Implementing Baker’s SUBTYPEP decision procedure

Léo Valais
•
Read more
Optimization

Finite Automata Theory Based Optimization of Conditional Variable Binding

Jim Newton
•
Read more