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)
日本語
Programmation en Logique (Code Mesh edition)
larsrh
0
330
Numeric Programming with Spire (Scala Italy edition)
larsrh
0
160
Numeric programming with Spire (LX Scala edition)
larsrh
0
200
A Verified Compiler from Isabelle/HOL to CakeML
larsrh
1
340
Sätze für lau
larsrh
0
95
Functional Programming with Cats
larsrh
1
240
How to test proper{l,t}y
larsrh
0
95
Translating Scala Programs to Isabelle/HOL
larsrh
1
770
Numeric Programming with Spire
larsrh
0
410
How to test proper{l,t}y
larsrh
1
490
What Haskell can learn from Scala
larsrh
11
3.4k
When Types are Not Enough
larsrh
1
760
Translating Scala programs to Isabelle with Leon
larsrh
2
340
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
larsrh
4
180
Functional Mocking (OsloSFP edition)
larsrh
0
110
OptimusPrimeT (cats edition)
larsrh
2
1k
Free Functors & Monads
larsrh
0
130
Functional Mocking
larsrh
0
650
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade