Name: CanFP Monthly meetup
Start: 2019-06-19T19:00:00+10:00
End: 2019-06-19T21:30:00+10:00
Location: ANU Computer Science Building

Talks this month:

Mukesh: Formalizing axiomatic system (Group theory) in Coq
Alex: Exploring a real Haskell project with a unix-philosophy IDE

Invite your friends and colleagues, and we'll see you there!

- Alex

Alex Mason

CanFP - The Canberra Functional Programming Group

Technology

Functional Programming

Computer Programming

Haskell

Scala

Clojure

Lisp

Erlang Programming

OCaml Programming

Swift Language

Programming Languages

FSharp

Software Development

Open Source

Python

Web Development

CanFP Monthly meetup

ANU Computer Science Building

Share this event

CanFP Monthly meetup

Details