Shen

This is the forum for the Shen programming language.

Affichage de 1-20 sujets sur 2162

exotic type systems: linear types	Mark Tarver	28/08/18
The Shen type system concordant S-ext definition	Antti Ylikoski	27/08/18
OS revisited - joining SP and OS Shen	Mark Tarver	27/08/18
SP 20 runs off the cloud	Mark Tarver	27/08/18
higher performance Prolog on its way	Mark Tarver	21/08/18
standard tests for SP 20 being compiled	Mark Tarver	20/08/18
no new installations of SP 18.1	Mark Tarver	19/08/18
prime factor	fuzzy wozzy	18/08/18
Shen Go missing?	Mark Tarver	17/08/18
SP 20 will require a new installation	Mark Tarver	17/08/18
SP Handbook goes to press	Mark Tarver	17/08/18
Commercial Shen	Antti Ylikoski	16/08/18
new SP kernel for SP 20 goes through standard tests	Mark Tarver	12/08/18
type checker increases performance by 10%	Mark Tarver	12/08/18
new Shen-YACC works	Mark Tarver	11/08/18
big drive to fund Shen	Mark Tarver	07/08/18
type secure Shen-YACC	Mark Tarver	07/08/18
Shen site gets a new look	Mark Tarver	06/08/18
The Shen CLOS: An object oriented capability for Shen	Antti Ylikoski	05/08/18
Work on Elixir/LFE port to Erlang stopped	Matus Kmit	03/08/18