Archive: 2018

• January 2, 2018 Casting in ATS
• January 3, 2018 Writing basic proofs in ATS
• January 10, 2018 Capturing program invariants in ATS
• September 24, 2018 Concurrent and Distributed Programming in Web Prolog
• October 16, 2018 Generalized Algebraic Data Types in ATS