Top New Best Ask Show Jobs

jonsterling

579 karma · joined May 25, 2010

submissions comments

Science of Logic (nLab)

ncatlab.org·1 pts·jonsterling·

JonPRL Tutorial – Proof Assistant for Computational Type Theory

jozefg.bitbucket.org·2 pts·jonsterling·

Type Theory Podcast #3: Dan Licata on Homotopy Type Theory

typetheorypodcast.com·1 pts·jonsterling·

Type Theory Podcast #1: Peter Dybjer on types and testing

typetheorypodcast.com·3 pts·jonsterling·

Proving Type Inequality in C++

jonmsterling.com·1 pts·jonsterling·

Flexibly-Phased Constraints in Haskell

jonmsterling.com·1 pts·jonsterling·

Expressing Church Pairs with Types

jonmsterling.com·1 pts·jonsterling·

Unifying Monoids and Monads with Polymorphic Kinds

jonmsterling.com·1 pts·jonsterling·