Vlad Patryshev

122 Followers

39 SlideShares 122 Followers 84 Folgens

39 SlideShares 122 Followers 84 Folgens

logic formal methods computer science category theory quantifiers boolean languages hierarchy pi calculus z notation set theory lambda proof monoids first order algebra stack machines fsm zfc combinators functions peano intuitionistic conditionals connectives santa clara university

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

Functional Database Strategies at Scala Bay

Jason Swartz • Vor 7 Jahren

My talk on administering PostgreSQL

Alex Chistyakov • Vor 9 Jahren

Functional Programming Patterns (NDC London 2014)

Scott Wlaschin • Vor 9 Jahren

Sql Antipatterns Strike Back

Karwin Software Solutions LLC • Vor 15 Jahren

Release the Monkeys ! Testing in the Wild at Netflix

Gareth Bowles • Vor 9 Jahren

Functional programming for production quality code

Jack Fox • Vor 9 Jahren

Programming Languages: some news for the last N years

Ruslan Shevchenko • Vor 9 Jahren

JDays Lviv 2014: Java8 vs Scala: Difference points & innovation stream

Ruslan Shevchenko • Vor 9 Jahren

Web architecture - overview of techniques.

Ruslan Shevchenko • Vor 9 Jahren

R scala 17_05_2014

Ruslan Shevchenko • Vor 10 Jahren

sizeof(Object): how much memory objects take on JVMs and when this may matter

Dawid Weiss • Vor 12 Jahren