41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a087bb-6e1a-73c2-8729-bc0642a64f98

A Type Level Proof of Uniqueness

oweinreese.com · published 22 February 2016

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at oweinreese.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 11
Words captured: 931

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

A Type Level Proof Read at the source ↗

http://docs.scala-lang.org/tutorials/tour/implicit-parameters.html

docs.scala-lang.org

http://www.cakesolutions.net/teamblogs/demystifying-implicits-and-typeclasses-in-scala

cakesolutions.net

http://gigiigig.github.io/posts/2015/09/13/aux-pattern.html

gigiigig.github.io

https://en.wikipedia.org/wiki/Recursion_(computer_science

en.wikipedia.org

revisiting implicits without import tax Read at the source ↗

http://docs.scala-lang.org/tutorials/tour/abstract-types.html

docs.scala-lang.org

http://lampwww.epfl.ch/~odersky/papers/mfcs06.pdf

lampwww.epfl.ch

http://www.oweinreese.com/programming-videos/

oweinreese.com

https://github.com/milessabin/shapeless

github.com

https://github.com/wheaties/AutoLifts

github.com