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
240
Ethereum: Smart Contracts & Varianten
Avatar for Lars Hupel larsrh
0
170
Numeric Programming with Spire (KSUG edition)
Avatar for Lars Hupel larsrh
0
960
Programmation en Logique (LambdaDays edition)
Avatar for Lars Hupel larsrh
0
960
Programmation en Logique (Code Mesh edition)
Avatar for Lars Hupel larsrh
0
390
Numeric Programming with Spire (Scala Italy edition)
Avatar for Lars Hupel larsrh
0
250
Numeric programming with Spire (LX Scala edition)
Avatar for Lars Hupel larsrh
0
250
A Verified Compiler from Isabelle/HOL to CakeML
Avatar for Lars Hupel larsrh
1
500
Sätze für lau
Avatar for Lars Hupel larsrh
0
120
Functional Programming with Cats
Avatar for Lars Hupel larsrh
1
310
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
900
Numeric Programming with Spire
Avatar for Lars Hupel larsrh
0
530
How to test proper{l,t}y
Avatar for Lars Hupel larsrh
1
580
What Haskell can learn from Scala
Avatar for Lars Hupel larsrh
11
3.7k
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
380
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Avatar for Lars Hupel larsrh
4
340

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