Post #1132449
2026-04-06 18:57 UTC
Heads-up: Mon Apr 13 (one week away): "FP Launchpad" kickoff-event at IIT Madras
FP Launchpad is a new research center at IITM focusing on all aspects of functional programming.
Schedule of talks, abstracts: https://fplaunchpad.org/2026/03/30/fp-launchpad-kickoff.html
#OCaml #OxCaml #Haskell #FormalMethods #HardCaml #Bluespec
Replies (0)
No replies.