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

Lars Hupel

larsrh
0 Stars

Decks

OptimusPrimeT (cats edition)
Avatar for Lars Hupel larsrh
2
1k
Free Functors & Monads
Avatar for Lars Hupel larsrh
0
150
Functional Mocking
Avatar for Lars Hupel larsrh
0
780
State of the Typelevel
Avatar for Lars Hupel larsrh
2
720
OptimusPrimeT
Avatar for Lars Hupel larsrh
3
830
The Next 1100 Haskell Programmers
Avatar for Lars Hupel larsrh
5
930
Certified Code Generation in Isabelle/HOL
Avatar for Lars Hupel larsrh
0
64
Interactive Simplifier Tracing and Debugging in Isabelle
Avatar for Lars Hupel larsrh
0
350
Macros vs Types
Avatar for Lars Hupel larsrh
1
910
Combining Scalaz and Shapeless for Great Good
Avatar for Lars Hupel larsrh
8
2.5k
A Visualization Toolkit for Simplifier Traces in Isabelle/jEdit
Avatar for Lars Hupel larsrh
0
230
Generating Type Class Instances Automatically
Avatar for Lars Hupel larsrh
4
710
Programming with Type Classes
Avatar for Lars Hupel larsrh
0
100
Seven at one blow – New & polished features in Scalaz 7
Avatar for Lars Hupel larsrh
2
990
Agitation – Warum Sie auf Subversion verzichten sollten
Avatar for Lars Hupel larsrh
0
63
Gang of Many – Funktionale Entwurfsmuster in Scala
Avatar for Lars Hupel larsrh
0
34
Ausnahmslos? – Wie man ohne Exceptions auskommt
Avatar for Lars Hupel larsrh
0
50
Agitation – Warum Sie auf Subversion verzichten sollten
Avatar for Lars Hupel larsrh
0
54

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