Public Snippets

Language	Title	Created	Owner
ATS	DataViewType Example		steinwaywhw
ATS	Demo Templates with Data Sort		steinwaywhw
ATS	Demo Polarized Protocol		steinwaywhw
ATS	Demo Linear States		steinwaywhw
ATS	Demo Dependent Types		steinwaywhw
ATS	Demo Linear Types		steinwaywhw
ATS	Binary Dependent Session Types		steinwaywhw
ATS	Borrowing internal pointers in ATS		Arets Paeglis
ATS	Fibonacci (proofs + loop)		Arets Paeglis
ATS	Compile Error, Poly Session		steinwaywhw
ATS	Quantification over Session Types		steinwaywhw
ATS	stacst v.s. datasort		steinwaywhw
ATS	For Debugging 0+1 != 1		steinwaywhw
ATS	Parallel Tensor in the Style of Abramsky, Bellin,		steinwaywhw
ATS	Parallel Tensor		steinwaywhw
ATS	Newton-Raphson square root		Arets Paeglis
ATS	Random numbers		Arets Paeglis
ATS	Substrings		Arets Paeglis
ATS	List of strings to string		Arets Paeglis
ATS	Queue		Arets Paeglis