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
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
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
•
9 years ago
Programming Languages: some news for the last N years
Ruslan Shevchenko
•
9 years ago
JDays Lviv 2014: Java8 vs Scala: Difference points & innovation stream
Ruslan Shevchenko
•
9 years ago
Web architecture - overview of techniques.
Ruslan Shevchenko
•
9 years ago
R scala 17_05_2014
Ruslan Shevchenko
•
9 years ago
sizeof(Object): how much memory objects take on JVMs and when this may matter
Dawid Weiss
•
11 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
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
See more