Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Lars Hupel
larsrh
71 Decks
0 Following
0 Followers
0 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
State of the Typelevel
larsrh
2
640
OptimusPrimeT
larsrh
3
810
The Next 1100 Haskell Programmers
larsrh
5
850
Certified Code Generation in Isabelle/HOL
larsrh
0
64
Interactive Simplifier Tracing and Debugging in Isabelle
larsrh
0
300
Macros vs Types
larsrh
1
780
Combining Scalaz and Shapeless for Great Good
larsrh
8
2.3k
A Visualization Toolkit for Simplifier Traces in Isabelle/jEdit
larsrh
0
220
Generating Type Class Instances Automatically
larsrh
4
690
Programming with Type Classes
larsrh
0
94
Seven at one blow – New & polished features in Scalaz 7
larsrh
2
880
Agitation – Warum Sie auf Subversion verzichten sollten
larsrh
0
55
Gang of Many – Funktionale Entwurfsmuster in Scala
larsrh
0
31
Ausnahmslos? – Wie man ohne Exceptions auskommt
larsrh
0
42
Agitation – Warum Sie auf Subversion verzichten sollten
larsrh
0
53
Development of an associative file system
larsrh
1
100
Schwarze Magie – Scalas Typsystem ausgenutzt
larsrh
0
42
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade