February 26, 2026 at 2:14 AM
Shen, Я, miniKanren, Par, Arend, λProlog, Black, 1ML, AliceML, Klisp/Kernel, Forum and Lolli
all of which are their own little treasures, do with that what you will :3
all of which are their own little treasures, do with that what you will :3
October 27, 2025 at 6:47 AM
Shen, Я, miniKanren, Par, Arend, λProlog, Black, 1ML, AliceML, Klisp/Kernel, Forum and Lolli
all of which are their own little treasures, do with that what you will :3
all of which are their own little treasures, do with that what you will :3
" #AliceML is a #functionalprogramming language based on Standard ML, extended with rich support for concurrent, distributed, and #constraintprogramming."
#plt #computerscience
www.ps.uni-saarland.de/alice/
#plt #computerscience
www.ps.uni-saarland.de/alice/
Alice
www.ps.uni-saarland.de
February 14, 2026 at 8:24 PM
" #AliceML is a #functionalprogramming language based on Standard ML, extended with rich support for concurrent, distributed, and #constraintprogramming."
#plt #computerscience
www.ps.uni-saarland.de/alice/
#plt #computerscience
www.ps.uni-saarland.de/alice/