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

Lars Hupel

larsrh
0 Stars

Decks

Ethereum: Smart Contracts & Varianten
larsrh
0
160
Numeric Programming with Spire (KSUG edition)
larsrh
0
930
Programmation en Logique (LambdaDays edition)
larsrh
0
910
Programmation en Logique (Code Mesh edition)
larsrh
0
360
Numeric Programming with Spire (Scala Italy edition)
larsrh
0
210
Numeric programming with Spire (LX Scala edition)
larsrh
0
220
A Verified Compiler from Isabelle/HOL to CakeML
larsrh
1
420
Sätze für lau
larsrh
0
110
Functional Programming with Cats
larsrh
1
270
How to test proper{l,t}y
larsrh
0
98
Translating Scala Programs to Isabelle/HOL
larsrh
1
850
Numeric Programming with Spire
larsrh
0
470
How to test proper{l,t}y
larsrh
1
540
What Haskell can learn from Scala
larsrh
11
3.6k
When Types are Not Enough
larsrh
1
760
Translating Scala programs to Isabelle with Leon
larsrh
2
350
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
larsrh
4
270
Functional Mocking (OsloSFP edition)
larsrh
0
120

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