Public Snippets

Language	Title	Created	Owner
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
ATS	Nested loops		Arets Paeglis
ATS	propositional logic		alex.ren2006
ATS	ATS case- with guard error		steinwaywhw
ATS	Answer to StackOverflow Question 1		steinwaywhw
ATS	Recursive Type SegFault		steinwaywhw
ATS	Demo of Global Counter		steinwaywhw