Skip to content

Categories as Type Classes in the Scala Algebra System.

Raphael Jolly

VenueBCASC
Year2013
ProceedingsCASC

Browse the full CASC paper archive.