Lisp and PureScript and Application and Hacket and Idris and Proof Systems Conferences
Lisp PureScript Application Hacket Idris Proof SystemsPast Lisp and PureScript and Application and Hacket and Idris and Proof Systems Conferences



Mar 01, 2021 - Mar 03, 2021
Gartner Application Architecture, Development & Integration Summit 2021
Mumbai,
India


Aug 24, 2020 - Aug 25, 2020
Gartner Application Architecture, Development & Integration Summit 2020
Sydney,
Australia






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
