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

Lars Hupel

larsrh
0 Stars

Decks

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
920
Programmation en Logique (Code Mesh edition)
Avatar for Lars Hupel larsrh
0
370
Numeric Programming with Spire (Scala Italy edition)
Avatar for Lars Hupel larsrh
0
210
Numeric programming with Spire (LX Scala edition)
Avatar for Lars Hupel larsrh
0
220
A Verified Compiler from Isabelle/HOL to CakeML
Avatar for Lars Hupel larsrh
1
440
Sätze für lau
Avatar for Lars Hupel larsrh
0
110
Functional Programming with Cats
Avatar for Lars Hupel larsrh
1
270
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
860
Numeric Programming with Spire
Avatar for Lars Hupel larsrh
0
490
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
760
Translating Scala programs to Isabelle with Leon
Avatar for Lars Hupel larsrh
2
350
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Avatar for Lars Hupel larsrh
4
280
Functional Mocking (OsloSFP edition)
Avatar for Lars Hupel larsrh
0
130

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