Snippets by steinwaywhw
| Language | Title | Created | Visibility |
|---|---|---|---|
 C++ | Badge | Public | |
 ATS | Polymorphic Sessions | Public | |
| ATS | ATS Streams Notes | Public | |
| ATS | Templates and Closures in ATS | Public | |
| ATS | Functor Type Class with Slightly More Complex Inst | Public | |
| ATS | Monad Type Class in ATS | Public | |
| ATS | Functor Type Class in ATS | Public | |
| ATS | DataViewType Example | Public | |
| ATS | Demo Templates with Data Sort | Public | |
| ATS | Demo Polarized Protocol | Public | |
| ATS | Demo Linear States | Public | |
| ATS | Demo Dependent Types | Public | |
| ATS | Demo Linear Types | Public | |
| ATS | Binary Dependent Session Types | Public | |
| ATS | Compile Error, Poly Session | Public | |
| ATS | Quantification over Session Types | Public | |
| ATS | stacst v.s. datasort | Public | |
| ATS | For Debugging 0+1 != 1 | Public | |
| ATS | Parallel Tensor in the Style of Abramsky, Bellin, | Public | |
| ATS | Parallel Tensor | Public |