Stories by anqurvanillapy

Ask HN: A retrofitted C dialect?

The Type Theory Podcast (2016)

The True Implementation of Pattern Matching in Python

Graduate Texts in Mathematics

Minitt-Rs: Extended Implementation of Mini-TT in Rust

Session Types Revisited (2012) [pdf]

Algebraic Presentations of Dependent Type Theories (2017)

Design and Implementation of the Andromeda Proof Assistant

LOOP (programming language)

MiniAgda: Integrating Sized and Dependent Types (2010)

A simple type-theoretic language: Mini-TT (2009) [pdf]

Non-Wellfounded Trees in Homotopy Type Theory (2015)

T. Streicher – A Model of Type Theory in Simplicial Sets (2011) [pdf]

The Thoralf plugin: for your fancy type needs

C++ Core Coroutines Proposal [pdf]

Comparison of Memory Mapping Techniques for High-Speed Packet Processing (2014) [pdf]

Mogensen–Scott encoding

Foetus – Termination Checker for Simple Functional Programs (1998) [pdf]