George Leontiev
5 SlideShares 98 Followers 105 Followings
Personal Information
Organization / Workplace
Berlin Area, Germany Germany
Occupation
Engineer at SoundCloud
Industry
Technology / Software / Internet
Website
folone.info
About
I state and prove theorems in constructive logic every day. I also speak λ calculus (yes, that is a Y combinator on my hand).
Contact Details
Tags
scala type-level scalaz dependent types compiler shapeless prolog functional programming
See more

Presentations

(5)
See all

Slides

11 years ago • 531 Views

Presentation

11 years ago • 462 Views

There's a Prolog in your Scala!

10 years ago • 1057 Views

42.type: Literal-based Singleton types

9 years ago • 624 Views

42: Rise of the dependent types

9 years ago • 580 Views

Likes

(12)
See all

Naming Things and Finding Cothings

Paul Phillips • 8 years ago

So you think JSON is cool?

Herval Freire • 9 years ago

Scala na soundcloud [QCon]

Herval Freire • 9 years ago

The Evolution of Scala

Martin Odersky • 9 years ago

Scala - The Simple Parts, SFScala presentation

Martin Odersky • 9 years ago

flatMap Oslo presentation slides

Martin Odersky • 9 years ago

Demystifying Prototypes

Dmitry Baranovskiy • 13 years ago

Functional Reactive Programming in Javascript

Brian Lonsdorf • 11 years ago

Real World Scalaz

Skills Matter Talks • 12 years ago

API design: using type classes and dependent types

bmlever • 11 years ago

Scalaz

mpilquist • 11 years ago

High Wizardry in the Land of Scala

djspiewak • 13 years ago
Personal Information
Organization / Workplace
Berlin Area, Germany Germany
Occupation
Engineer at SoundCloud
Industry
Technology / Software / Internet
Website
folone.info
About
I state and prove theorems in constructive logic every day. I also speak λ calculus (yes, that is a Y combinator on my hand).
Tags
scala type-level scalaz dependent types compiler shapeless prolog functional programming
See more