Hacker News Reader

typetheorypodcast.com1 ptsanqurvanillapy

0

The True Implementation of Pattern Matching in Python

github.com1 ptsanqurvanillapy

0

Graduate Texts in Mathematics

en.wikipedia.org4 ptsanqurvanillapy

0

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

github.com1 ptsanqurvanillapy

0

Session Types Revisited (2012) [pdf]

dcs.gla.ac.uk2 ptsanqurvanillapy

0

Algebraic Presentations of Dependent Type Theories (2017)

arxiv.org3 ptsanqurvanillapy

0

Design and Implementation of the Andromeda Proof Assistant

arxiv.org1 ptsanqurvanillapy

0

LOOP (programming language)

en.wikipedia.org36 ptsanqurvanillapy

7

MiniAgda: Integrating Sized and Dependent Types (2010)

arxiv.org2 ptsanqurvanillapy

0

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

cse.chalmers.se1 ptsanqurvanillapy

0

Non-Wellfounded Trees in Homotopy Type Theory (2015)

arxiv.org3 ptsanqurvanillapy

0

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

mathematik.tu-darmstadt.de1 ptsanqurvanillapy

0

The Thoralf plugin: for your fancy type needs

dl.acm.org15 ptsanqurvanillapy

2

C++ Core Coroutines Proposal [pdf]

open-std.org144 ptsanqurvanillapy

116

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

net.in.tum.de1 ptsanqurvanillapy

0

Mogensen–Scott encoding

en.wikipedia.org3 ptsanqurvanillapy

0

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

www2.tcs.ifi.lmu.de1 ptsanqurvanillapy

0

anqurvanillapy

Ask HN: A retrofitted C dialect?

The Type Theory Podcast (2016)