Massimo Nocentini
Researcher and software developer with a PhD in Computer Science (Università degli Studi di Firenze, 2019).
The (aux fds) modules
Functional queues and union-find
The (aux sxml) module
Rendering SXML to HTML
The (aux variable) module
Logic variables introduced by fresh
The (aux tabling) module
Memoization and tabled definitions
Promises
delay and make-promise
The Ackermann function
On unary numbers, as lists
Concurrent ML for CHICKEN Scheme
Porting SML/NJ CML as the (aux cml) library
Inspecting the Payments Graph
A Bitcoint induced graph about transactions till 2017