Lock in $30 Savings on PRO—Offer Ends Soon! ⏳
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
210
Ethereum: Smart Contracts & Varianten
Avatar for Lars Hupel larsrh
0
160
Numeric Programming with Spire (KSUG edition)
Avatar for Lars Hupel larsrh
0
950
Programmation en Logique (LambdaDays edition)
Avatar for Lars Hupel larsrh
0
940
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
230
Numeric programming with Spire (LX Scala edition)
Avatar for Lars Hupel larsrh
0
240
A Verified Compiler from Isabelle/HOL to CakeML
Avatar for Lars Hupel larsrh
1
480
Sätze für lau
Avatar for Lars Hupel larsrh
0
110
Functional Programming with Cats
Avatar for Lars Hupel larsrh
1
290
How to test proper{l,t}y
Avatar for Lars Hupel larsrh
0
100
Translating Scala Programs to Isabelle/HOL
Avatar for Lars Hupel larsrh
1
890
Numeric Programming with Spire
Avatar for Lars Hupel larsrh
0
520
How to test proper{l,t}y
Avatar for Lars Hupel larsrh
1
570
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
780
Translating Scala programs to Isabelle with Leon
Avatar for Lars Hupel larsrh
2
370
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Avatar for Lars Hupel larsrh
4
320

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