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

Lars Hupel

larsrh
0 Stars

Decks

Numeric Programming with Spire (KSUG edition)
larsrh
0
910
Programmation en Logique (LambdaDays edition)
larsrh
0
890
Programmation en Logique (Code Mesh edition)
larsrh
0
350
Numeric Programming with Spire (Scala Italy edition)
larsrh
0
190
Numeric programming with Spire (LX Scala edition)
larsrh
0
210
A Verified Compiler from Isabelle/HOL to CakeML
larsrh
1
380
Sätze für lau
larsrh
0
100
Functional Programming with Cats
larsrh
1
260
How to test proper{l,t}y
larsrh
0
97
Translating Scala Programs to Isabelle/HOL
larsrh
1
820
Numeric Programming with Spire
larsrh
0
450
How to test proper{l,t}y
larsrh
1
530
What Haskell can learn from Scala
larsrh
11
3.5k
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
210
Functional Mocking (OsloSFP edition)
larsrh
0
120
OptimusPrimeT (cats edition)
larsrh
2
1k

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