Isaac explaining a "third way" of compiling parametric polymorphism - #BFPG May 2025
#BFPG
1 post1 participant0 posts today
Brisbane Functional Programming Group #BFPG THIS TUESDAY. Compiling parametric polymorphism (Isaac Elliott) + 2 years of the #Haskell Security Response Team (Fraser Tweedale). See yas there, curious minds. https://lu.ma/yfkrxawh
lu.maBFPG Meetup - May 2025 - Compiling parametric polymorphism + Haskell Security Team · LumaJoin the BFPG Discord: https://discord.gg/yYz2d8w7FY
Agenda
18:00: Welcome and setup
Presentation #1: A "third way" of compiling parametric polymorphism -…
Brisbane Functional Programming Group #BFPG May meetup Tue 2025-05-13. Compiling parametric polymorphism (Isaac Elliott) + 2 years of the #Haskell Security Response Team (Fraser Tweedale). Be there or a be a lambda cube! https://lu.ma/yfkrxawh
lu.maBFPG Meetup - May 2025 - Compiling parametric polymorphism + Haskell Security Team · LumaJoin the BFPG Discord: https://discord.gg/yYz2d8w7FY
Agenda
18:00: Welcome and setup
Presentation #1: A "third way" of compiling parametric polymorphism -…
Donovan is teaching us Simply Typed Lambda Calculus - so that he can teach us about explicit substitutions in part ii. #BFPG Brisbane Functional Programming Group April 2025
Thea @mstheasaurus presenting an Overview of IT Education in Queensland - #BFPG
lu.maBFPG Meetup - April 2025 - IT Education in Qld + STLC · LumaJoin the BFPG Discord: https://discord.gg/yYz2d8w7FY
Agenda
18:00: Welcome and setup
Presentation #1: An overview of IT education in Queensland - Thea…
lu.maBFPG Meetup - April 2025 - IT Education in Qld + STLC · LumaJoin the BFPG Discord: https://discord.gg/yYz2d8w7FY
Agenda
18:00: Welcome and setup
Presentation #1: An overview of IT education in Queensland - Thea…
Brisbane Functional Programming Group #BFPG next Tuesday 2025-03-11. A fantastic double-header with introductory talks about #Pandoc (Siva Kalyan) and #Hakyll (Rob Ellen). Be there or be a lambda cube! https://lu.ma/lpbnfbfo
lu.maBFPG Meetup - March 2025 - Pandoc + Hakyll · LumaJoin the BFPG Discord: https://discord.gg/yYz2d8w7FY
Agenda
18:00: Welcome and setup
Presentation #1: Introduction to Pandoc by Siva Kalyan
Presentation #2:…
Thanks to speakers and attendees at Brisbane Functional Programming Group #BFPG last night. Next month's topics: #Pandoc and #Hakyll! In the meantime, come hang on our Discord - invite link on the event pages at https://bfpg.org. #FP
bfpg.orgBrisbane Functional Programming Group · Events CalendarView and subscribe to events from Brisbane Functional Programming Group on Luma. Curious minds interested in practice and theory of functional programming (FP). Our members range from absolute beginner to expert. All are welcome!
Talk change for #BFPG tonight. The explicit substitutions talk will be rescheduled. In its place, parser combinators in #Haskell (live-coding a JSON parser from scratch).
Be there or be a lambda cube. https://lu.ma/85i70qns
lu.maBFPG Meetup - February 2025 - Explicit substitutions + Mentor networking session · LumaAgenda
18:00: Welcome and setup
Presentation #1: Lambda calculi with explicit substitutions - Donovan Crichton
Presentation #2: Mentor networking session -…
Brisbane Functional Programming Group #BFPG meetup TOMORROW - Lambda calculi with explicit substitutions (Donovan Crichton) + Mentor networking session hosted by Jack Kelly. See yas there, curious minds. https://lu.ma/85i70qns
lu.maBFPG Meetup - February 2025 - Explicit substitutions + Mentor networking session · LumaAgenda
18:00: Welcome and setup
Presentation #1: Lambda calculi with explicit substitutions - Donovan Crichton
Presentation #2: Mentor networking session -…
Brisbane Functional Programming Group #BFPG February meetup Tuesday 2025-02-11 - Lambda calculi with explicit substitutions (Donovan Crichton) + Mentor networking session hosted by Jack Kelly. Be there or be a lambda cube! #FP #PLT
https://lu.ma/85i70qns
lu.maBFPG Meetup - February 2025 - Explicit substitutions + Mentor networking session · LumaAgenda
18:00: Welcome and setup
Presentation #1: Lambda calculi with explicit substitutions - Donovan Crichton
Presentation #2: Mentor networking session -…
lu.maBFPG 2025 launch event · LumaBFPG is heading back to the Osbourne Hotel for our 2025 launch event. Come along to catch up, talk about FP, and discuss ideas for BFPG this year.
We'll book…
Tomorrow! #BFPG end of year social event: https://lu.ma/3mkx09qf. See yas there, curious minds.
lu.maBFPG December 2024 social · LumaBFPG is celebrating a successful 2024 with a social gathering at Bloodhound on Tuesday 10 December. This will be our final event for the year.
New members and…
VENUE CHANGE for Brisbane Functional Programming Group #BFPG end of year social event, next Tuesday at the OSBOURNE HOTEL! https://lu.ma/3mkx09qf
lu.maBFPG December 2024 social · LumaBFPG is celebrating a successful 2024 with a social gathering at Bloodhound on Tuesday 10 December. This will be our final event for the year.
New members and…
#BFPG tomorrow: #Elixir's set-theoretic type system + #Haskell streaming. See yas there, curious minds! https://lu.ma/wphaomi7
lu.maBFPG Meetup - November 2024 - Elixir's set-theoretic type system + Haskell streaming · LumaAgenda
18:00: Welcome and setup
Presentation #1: The new Set-Theoretic Type System for Elixir (Rob Ellen)
Presentation #2: Understanding the core of streaming,…
#BFPG next Tuesday: our final talks night for 2024 (social event in Dec). #Haskell streaming library (Jack Kelly) + the new set-theoretic type system for #Elixir (Rob Ellen). Be there or a be a lambda cube! https://lu.ma/wphaomi7
lu.maBFPG Meetup - November 2024 - Elixir's set-theoretic type system + Haskell streaming · LumaAgenda
18:00: Welcome and setup
Presentation #1: The new Set-Theoretic Type System for Elixir (Rob Ellen)
Presentation #2: Understanding the core of streaming,…