Personal Information
Organization / Workplace
San Jose, California
Occupation
Lead Developer
Industry
Technology / Software / Internet
Website
patryshev.com
About
organizer of Scala Bay and Bay Area Categories and Types; I also teach Logic at Santa Clara University
Tags
logic
formal methods
computer science
category theory
quantifiers
boolean
languages hierarchy
first order
pi calculus
z notation
monoids
set theory
proof
lambda
conditionals
connectives
santa clara university
intuitionistic
peano
functions
combinators
zfc
fsm
stack machines
algebra
See more
Presentations
(39)Likes
(11)Functional Database Strategies at Scala Bay
Jason Swartz
•
7 years ago
My talk on administering PostgreSQL
Alex Chistyakov
•
9 years ago
Functional Programming Patterns (NDC London 2014)
Scott Wlaschin
•
9 years ago
Sql Antipatterns Strike Back
Karwin Software Solutions LLC
•
15 years ago
Release the Monkeys ! Testing in the Wild at Netflix
Gareth Bowles
•
9 years ago
Functional programming for production quality code
Jack Fox
•
10 years ago
Programming Languages: some news for the last N years
Ruslan Shevchenko
•
10 years ago
JDays Lviv 2014: Java8 vs Scala: Difference points & innovation stream
Ruslan Shevchenko
•
10 years ago
Web architecture - overview of techniques.
Ruslan Shevchenko
•
10 years ago
R scala 17_05_2014
Ruslan Shevchenko
•
10 years ago
sizeof(Object): how much memory objects take on JVMs and when this may matter
Dawid Weiss
•
12 years ago
Personal Information
Organization / Workplace
San Jose, California
Occupation
Lead Developer
Industry
Technology / Software / Internet
Website
patryshev.com
About
organizer of Scala Bay and Bay Area Categories and Types; I also teach Logic at Santa Clara University
Tags
logic
formal methods
computer science
category theory
quantifiers
boolean
languages hierarchy
first order
pi calculus
z notation
monoids
set theory
proof
lambda
conditionals
connectives
santa clara university
intuitionistic
peano
functions
combinators
zfc
fsm
stack machines
algebra
See more