Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Lars Hupel

larsrh
0 Stars

Decks

Free Functors & Monads
larsrh
0
140
Functional Mocking
larsrh
0
700
State of the Typelevel
larsrh
2
680
OptimusPrimeT
larsrh
3
820
The Next 1100 Haskell Programmers
larsrh
5
890
Certified Code Generation in Isabelle/HOL
larsrh
0
64
Interactive Simplifier Tracing and Debugging in Isabelle
larsrh
0
320
Macros vs Types
larsrh
1
840
Combining Scalaz and Shapeless for Great Good
larsrh
8
2.4k
A Visualization Toolkit for Simplifier Traces in Isabelle/jEdit
larsrh
0
230
Generating Type Class Instances Automatically
larsrh
4
700
Programming with Type Classes
larsrh
0
99
Seven at one blow – New & polished features in Scalaz 7
larsrh
2
940
Agitation – Warum Sie auf Subversion verzichten sollten
larsrh
0
60
Gang of Many – Funktionale Entwurfsmuster in Scala
larsrh
0
34
Ausnahmslos? – Wie man ohne Exceptions auskommt
larsrh
0
48
Agitation – Warum Sie auf Subversion verzichten sollten
larsrh
0
54
Development of an associative file system
larsrh
1
120

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade