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

A History of Enterprise Monads
Avatar for Lars Hupel larsrh
0
300
Das eierlegende Truffleschwein (DeafIT edition)
Avatar for Lars Hupel larsrh
0
130
Theorems for free! (BOB edition)
Avatar for Lars Hupel larsrh
0
560
Typelevel's path to Scala 3
Avatar for Lars Hupel larsrh
0
330
Verification of Smart Contracts (INNOQ edition)
Avatar for Lars Hupel larsrh
0
540
Theorems for free!
Avatar for Lars Hupel larsrh
1
340
Blockchain Use Cases
Avatar for Lars Hupel larsrh
0
170
Programmation en Clojique
Avatar for Lars Hupel larsrh
2
220
JS, Rust, Python and the Holy Graal
Avatar for Lars Hupel larsrh
3
1k
Verification of Smart Contracts
Avatar for Lars Hupel larsrh
0
120
iSAQB goes Blockchain?
Avatar for Lars Hupel larsrh
0
77
How Do I Even Smart Contracts?
Avatar for Lars Hupel larsrh
0
110
Smart Contract Development & Testing mit Ethereum
Avatar for Lars Hupel larsrh
0
82
Das eierlegende Truffleschwein
Avatar for Lars Hupel larsrh
0
730
Lieber ein Typparameter zu viel als einer zu wenig (Herbstcampus)
Avatar for Lars Hupel larsrh
0
750
Lieber ein Typparameter zu viel als einer zu wenig (JUG Ostfalen)
Avatar for Lars Hupel larsrh
0
230
Verified Code Generation from Isabelle/HOL
Avatar for Lars Hupel larsrh
1
290
How to test proper{t,l}y (Scala Matsuri edition)
Avatar for Lars Hupel larsrh
0
1.6k

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