• Haskell Singapore Meetup, Feb

    Red Hat Singapore

    Speaker: Thomas Tan Title: "Induction is not derivable in second order dependent type theory" Presenting Herman Geuvers' paper (2000) [1] showing the non-derivability of any induction principles in weaker type theories such as λP2 or the Calculus of Constructions. [1] https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.4355 The meeting is at Red Hat: Venue: AXA Tower, Tanjong Pagar Level 11 Training room Time: 7-9pm RSVP. Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way. Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office for the meetup. Then proceed as a visitor to level 11.

    1
  • January Singapore Haskell Meetup

    Red Hat Singapore

    Speaker: Gergo Erdí Title: "Free monoids take a price HIT" - a HOTT approach to free algebraic structures (Note the Red Hat venue:) Venue: AXA Tower, Tanjong Pagar Level 11 Training room Time: 7-9pm RSVP. Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way. Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office for the meetup. Then proceed as a visitor to level 11.

    4
  • December Singapore Haskell Meetup

    Red Hat Singapore

    (Note the Red Hat venue) Address: AXA Tower, Tanjong Pagar Level 11 Training room RSVP. Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way. Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office. Then proceed as a visitor to level 11. Time: 7-9pm Michael Baykov will be talking about building software with Shake.

    1
  • October Singapore Haskell Meetup

    Red Hat Singapore

    (Note the Red Hat venue) Address: AXA Tower, Tanjong Pagar Level 11 Training room RSVP. Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way. Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office. Then proceed as a visitor to level 11. Time: 7-9pm

    5
  • October Singapore Haskell Meetup

    Red Hat Singapore

    Note new venue at Red Hat: Address: AXA Tower, Tanjong Pagar Level 11 Training room RSVP. Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way. Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office. Then proceed as a visitor to level 11. Time: 7-9pm Speaker: Ilya Sergei "Running the ICFP 2019 Programming Contest"

    1
  • September Singapore Haskell Meetup

    Location visible to members

    Address; 8 Marina Boulevard Marina Bay Financial Centre Tower 1 Level 10 Dunsan meeting room RSVP. Bring your ID & sign in at the security desk. Time: 7-9pm Speaker(s): - Satoshi Egi Egison: Non-linear Pattern Matching with Backtracking for Non-free Data Types - Jorge Mendes Design, Implementation & Evaluation of Model-Driven Spreadsheets

    5
  • August Singapore Haskell Meetup

    Location visible to members

    Address; 8 Marina Boulevard Marina Bay Financial Centre Tower 1 Level 10 Dunsan meeting room RSVP. Bring your ID & sign in at the security desk. Time: 7-9pm Speaker(s): Eric Y Kow Introducing Montague Semantics

  • July Singapore Haskell Meetup

    Location visible to members

    Address; 8 Marina Boulevard Marina Bay Financial Centre Tower 1 Level 10 Dunsan meeting room RSVP. Bring your ID & sign in at the security desk. Time: 7-9pm Speaker(s): - Lightening Slides - Haskell/FP Q&A

    1
  • June Singapore Haskell Meetup

    Location visible to members

    Address; 8 Marina Boulevard Marina Bay Financial Centre Tower 1 Level 10 Dunsan meeting room RSVP. Bring your ID & sign in at the security desk. Time: 7-9pm Speaker(s): Ash Manning - Intro to the F* language

    3
  • May Singapore Haskell Meetup

    Location visible to members

    Address; 8 Marina Boulevard Marina Bay Financial Centre Tower 1 Level 10 Dunsan meeting room RSVP. Bring your ID & sign in at the security desk. Time: 7-9pm Speaker(s): 1st speaker David Himmelstrup - Design of a type checker 2nd speaker TBC TBC

    2