Personal Information
Organización/Lugar de trabajo
San Jose, California
Ocupación
Lead Developer
Sector
Technology / Software / Internet
Sitio web
patryshev.com
Acerca de
organizer of Scala Bay and Bay Area Categories and Types; I also teach Logic at Santa Clara University
Etiquetas
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
Ver más
Presentaciones
(39)Recomendaciones
(11)Functional Database Strategies at Scala Bay
Jason Swartz
•
Hace 7 años
My talk on administering PostgreSQL
Alex Chistyakov
•
Hace 9 años
Functional Programming Patterns (NDC London 2014)
Scott Wlaschin
•
Hace 9 años
Sql Antipatterns Strike Back
Karwin Software Solutions LLC
•
Hace 15 años
Release the Monkeys ! Testing in the Wild at Netflix
Gareth Bowles
•
Hace 9 años
Functional programming for production quality code
Jack Fox
•
Hace 9 años
Programming Languages: some news for the last N years
Ruslan Shevchenko
•
Hace 9 años
JDays Lviv 2014: Java8 vs Scala: Difference points & innovation stream
Ruslan Shevchenko
•
Hace 9 años
Web architecture - overview of techniques.
Ruslan Shevchenko
•
Hace 9 años
R scala 17_05_2014
Ruslan Shevchenko
•
Hace 9 años
sizeof(Object): how much memory objects take on JVMs and when this may matter
Dawid Weiss
•
Hace 11 años
Personal Information
Organización/Lugar de trabajo
San Jose, California
Ocupación
Lead Developer
Sector
Technology / Software / Internet
Sitio web
patryshev.com
Acerca de
organizer of Scala Bay and Bay Area Categories and Types; I also teach Logic at Santa Clara University
Etiquetas
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
Ver más