Sign up for free
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
260
Ethereum: Smart Contracts & Varianten
Avatar for Lars Hupel larsrh
0
170
Numeric Programming with Spire (KSUG edition)
Avatar for Lars Hupel larsrh
0
970
Programmation en Logique (LambdaDays edition)
Avatar for Lars Hupel larsrh
0
990
Programmation en Logique (Code Mesh edition)
Avatar for Lars Hupel larsrh
0
410
Numeric Programming with Spire (Scala Italy edition)
Avatar for Lars Hupel larsrh
0
270
Numeric programming with Spire (LX Scala edition)
Avatar for Lars Hupel larsrh
0
280
A Verified Compiler from Isabelle/HOL to CakeML
Avatar for Lars Hupel larsrh
1
510
Sätze für lau
Avatar for Lars Hupel larsrh
0
120
Functional Programming with Cats
Avatar for Lars Hupel larsrh
1
320
How to test proper{l,t}y
Avatar for Lars Hupel larsrh
0
110
Translating Scala Programs to Isabelle/HOL
Avatar for Lars Hupel larsrh
1
930
Numeric Programming with Spire
Avatar for Lars Hupel larsrh
0
540
How to test proper{l,t}y
Avatar for Lars Hupel larsrh
1
610
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
800
Translating Scala programs to Isabelle with Leon
Avatar for Lars Hupel larsrh
2
390
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Avatar for Lars Hupel larsrh
4
370

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