George Leontiev
5 SlideShares 98 Seguidores 105 Seguindos
Personal Information
Organização/Local de trabalho
Berlin Area, Germany Germany
Cargo
Engineer at SoundCloud
Setor
Technology / Software / Internet
Site
folone.info
Sobre
I state and prove theorems in constructive logic every day. I also speak λ calculus (yes, that is a Y combinator on my hand).
Detalhes do contato
Marcadores
scala type-level scalaz dependent types compiler shapeless prolog functional programming
Ver mais

Apresentações

(5)
Ver tudo

Slides

Há 11 anos • 531 Visualizações

Presentation

Há 11 anos • 462 Visualizações

There's a Prolog in your Scala!

Há 10 anos • 1057 Visualizações

42.type: Literal-based Singleton types

Há 9 anos • 624 Visualizações

42: Rise of the dependent types

Há 9 anos • 580 Visualizações

Gostaram

(12)
Ver tudo

Naming Things and Finding Cothings

Paul Phillips • Há 8 anos

So you think JSON is cool?

Herval Freire • Há 9 anos

Scala na soundcloud [QCon]

Herval Freire • Há 9 anos

The Evolution of Scala

Martin Odersky • Há 9 anos

Scala - The Simple Parts, SFScala presentation

Martin Odersky • Há 9 anos

flatMap Oslo presentation slides

Martin Odersky • Há 9 anos

Demystifying Prototypes

Dmitry Baranovskiy • Há 13 anos

Functional Reactive Programming in Javascript

Brian Lonsdorf • Há 11 anos

Real World Scalaz

Skills Matter Talks • Há 12 anos

API design: using type classes and dependent types

bmlever • Há 11 anos

Scalaz

mpilquist • Há 11 anos

High Wizardry in the Land of Scala

djspiewak • Há 13 anos
Personal Information
Organização/Local de trabalho
Berlin Area, Germany Germany
Cargo
Engineer at SoundCloud
Setor
Technology / Software / Internet
Site
folone.info
Sobre
I state and prove theorems in constructive logic every day. I also speak λ calculus (yes, that is a Y combinator on my hand).
Marcadores
scala type-level scalaz dependent types compiler shapeless prolog functional programming
Ver mais