Elm and Lambda Calculus and Reason and Type Theory and Use Case and Crystal Conferences
Elm Lambda Calculus Reason Type Theory Use Case CrystalPast Elm and Lambda Calculus and Reason and Type Theory and Use Case and Crystal Conferences








Oct 24, 2019
ServerlessDays Stockholm 2019
C#
Go
Java
JavaScript
PHP
Python
Ruby
Rust
Analytics
Security
Software Testing
AWS
Azure
Cloud
GCP
Open Source
Oracle
Serverless
Web
Best Practices
FaaS
IBM
Lambda
Open-FaaS
PoC
Tooling
Use Case
Stockholm,
Sweden





Jun 21, 2019
ServerlessDays Milano 2019
Analytics
Security
Software Testing
AWS
Azure
GCP
Open Source
Oracle
Web
Best Practices
FaaS
IBM
Open-FaaS
PoC
Tooling
Use Case
Milan,
Italy

Jun 05, 2019 - Jun 09, 2019
Lambda Conf 2019
Clojure
Elm
F#
Haskell
Lisp
Prolog
Rust
Scala
Community
Software Testing
Blockchain
Abstract Algebra
APL
Application
Case Study
Category Theory
Coq
Dhall
Formal Verification
Hacket
Idris
Inspiration
j
Keynote
Lambda Calculus
Library
Logic
Math
OCaml
PLT
Proof Systems
PureScript
Racket
Reason
Type Theory
Use Case
Boulder,
United States


