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

Lars Hupel

larsrh
0 Stars

Decks

Lieber ein Typparameter zu viel als einer zu wenig
Avatar for Lars Hupel larsrh
0
190
Ethereum: Smart Contracts & Varianten
Avatar for Lars Hupel larsrh
0
160
Numeric Programming with Spire (KSUG edition)
Avatar for Lars Hupel larsrh
0
940
Programmation en Logique (LambdaDays edition)
Avatar for Lars Hupel larsrh
0
930
Programmation en Logique (Code Mesh edition)
Avatar for Lars Hupel larsrh
0
380
Numeric Programming with Spire (Scala Italy edition)
Avatar for Lars Hupel larsrh
0
220
Numeric programming with Spire (LX Scala edition)
Avatar for Lars Hupel larsrh
0
230
A Verified Compiler from Isabelle/HOL to CakeML
Avatar for Lars Hupel larsrh
1
450
Sätze für lau
Avatar for Lars Hupel larsrh
0
110
Functional Programming with Cats
Avatar for Lars Hupel larsrh
1
280
How to test proper{l,t}y
Avatar for Lars Hupel larsrh
0
98
Translating Scala Programs to Isabelle/HOL
Avatar for Lars Hupel larsrh
1
870
Numeric Programming with Spire
Avatar for Lars Hupel larsrh
0
500
How to test proper{l,t}y
Avatar for Lars Hupel larsrh
1
560
What Haskell can learn from Scala
Avatar for Lars Hupel larsrh
11
3.6k
When Types are Not Enough
Avatar for Lars Hupel larsrh
1
770
Translating Scala programs to Isabelle with Leon
Avatar for Lars Hupel larsrh
2
360
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Avatar for Lars Hupel larsrh
4
290

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