Dependently typed programming with singletons (Eisenberg, Weirich)[PDF] - discu.eu

Reddit

Dependently typed programming with singletons (Eisenberg, Weirich)[PDF] http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf 3 comments 3/6/2012 haskell

Linking pages

Episode 4: Stephanie Weirich on Zombie and Dependent Haskell | The Type Theory Podcast http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 24 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:cis.upenn.edu

Search title: Dependently typed programming with singletons (Eisenberg, Weirich)[PDF]

See how to search.

Submit link to: