Anonymous or large records with OverloadedRecordDot and OverloadedRecordUpdate
Edsko de Vries
Tuesday, 07 March 2023
Edsko de Vries
Tuesday, 07 March 2023
GHC activities report: December 2022–January 2023
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Tuesday, 28 February 2023
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Tuesday, 28 February 2023
GHC activities report: October–November 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Monday, 12 December 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Monday, 12 December 2022
Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Monday, 28 November 2022
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Monday, 28 November 2022
Announcing a live tutorial on eventlog2html and ghc-debug
Finley McIlwaine, Andres Löh
Wednesday, 23 November 2022
Finley McIlwaine, Andres Löh
Wednesday, 23 November 2022
GHC activities report: August–September 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Thursday, 27 October 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Thursday, 27 October 2022
GHC activities report: June–July 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry, Douglas Wilson
Friday, 05 August 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry, Douglas Wilson
Friday, 05 August 2022
The Plutus Compilation Pipeline: Understanding Plutus Core(s)
Edsko de Vries
Wednesday, 03 August 2022
Edsko de Vries
Wednesday, 03 August 2022
GHC activities report: April–May 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry, Douglas Wilson
Thursday, 23 June 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry, Douglas Wilson
Thursday, 23 June 2022
Well-Typed Advanced Track at ZuriHac 2022
Andres Löh, Armando Santos, Adam Gundry
Wednesday, 01 June 2022
Andres Löh, Armando Santos, Adam Gundry
Wednesday, 01 June 2022
GHC activities report: February–March 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Tuesday, 12 April 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Tuesday, 12 April 2022
large-anon: Practical scalable anonymous records for Haskell
Edsko de Vries
Wednesday, 06 April 2022
Edsko de Vries
Wednesday, 06 April 2022
GHC activities report: December 2021–January 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Monday, 14 February 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Monday, 14 February 2022
Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Thursday, 20 January 2022
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Thursday, 20 January 2022
Type-level sharing in Haskell, now
Edsko de Vries, Andres Löh, Adam Gundry, Sam Derbyshire
Friday, 17 December 2021
Edsko de Vries, Andres Löh, Adam Gundry, Sam Derbyshire
Friday, 17 December 2021
GHC activities report: October–November 2021
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Monday, 13 December 2021
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Monday, 13 December 2021
Haskell teaching and development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Monday, 01 November 2021
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Monday, 01 November 2021
Induction without core-size blow-up
a.k.a. Large records: anonymous edition
Edsko de Vries, Adam Gundry
Wednesday, 20 October 2021
a.k.a. Large records: anonymous edition
Edsko de Vries, Adam Gundry
Wednesday, 20 October 2021
Remote Interactive Course on Type-level Programming with GHC
Christine Gundry, Andres Löh
Thursday, 14 October 2021
Christine Gundry, Andres Löh
Thursday, 14 October 2021
GHC activities report: August–September 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli, Adam Gundry
Wednesday, 13 October 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli, Adam Gundry
Wednesday, 13 October 2021
Haskell Implementors' Workshop 2021
Christine Gundry, Andres Löh, Edsko de Vries, Douglas Wilson, Ben Gamari
Wednesday, 08 September 2021
Christine Gundry, Andres Löh, Edsko de Vries, Douglas Wilson, Ben Gamari
Wednesday, 08 September 2021
GHC activities report: June–July 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli
Friday, 06 August 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli
Friday, 06 August 2021
Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 03 August 2021
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 03 August 2021
ZuriHac 2021 Advanced Track Materials
Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh
Wednesday, 23 June 2021
Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh
Wednesday, 23 June 2021
GHC activities report: April–May 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli, Adam Gundry
Monday, 14 June 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli, Adam Gundry
Monday, 14 June 2021
GHC activities report: February–March 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Adam Gundry, David Eichmann, Alfredo Di Napoli, Douglas Wilson
Wednesday, 14 April 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Adam Gundry, David Eichmann, Alfredo Di Napoli, Douglas Wilson
Wednesday, 14 April 2021
GHC activities report: December–January 2020/2021
Ben Gamari, Andreas Klebinger, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering
Wednesday, 10 February 2021
Ben Gamari, Andreas Klebinger, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering
Wednesday, 10 February 2021
Memory Fragmentation: A Deeper Look With ghc-debug
Matthew Pickering, David Eichmann
Friday, 29 January 2021
Matthew Pickering, David Eichmann
Friday, 29 January 2021
Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Thursday, 17 December 2020
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Thursday, 17 December 2020
GHC activities report: October–November 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering, Andres Löh
Thursday, 03 December 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering, Andres Löh
Thursday, 03 December 2020
GHC activities report: August–September 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Andres Löh
Tuesday, 13 October 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Andres Löh
Tuesday, 13 October 2020
MuniHac 2020
Christine Gundry, Andres Löh, Duncan Coutts, Edsko de Vries
Thursday, 17 September 2020
Christine Gundry, Andres Löh, Duncan Coutts, Edsko de Vries
Thursday, 17 September 2020
Working with Hasura to improve GHC tooling
Adam Gundry, Ben Gamari, David Eichmann
Tuesday, 08 September 2020
Adam Gundry, Ben Gamari, David Eichmann
Tuesday, 08 September 2020
ICFP 2020 & MSFP 2020
Christine Gundry, Andres Löh, Duncan Coutts, Ben Gamari, Alfredo Di Napoli, David Eichmann, Oleg Grenrus
Monday, 07 September 2020
Christine Gundry, Andres Löh, Duncan Coutts, Ben Gamari, Alfredo Di Napoli, David Eichmann, Oleg Grenrus
Monday, 07 September 2020
GHC activities report: June–July 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, Andres Löh
Friday, 07 August 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, Andres Löh
Friday, 07 August 2020
Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 17 March 2020
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 17 March 2020
Free training sessions at ZuriHac 2019
Christine Gundry, Adam Gundry, Duncan Coutts
Friday, 07 June 2019
Christine Gundry, Adam Gundry, Duncan Coutts
Friday, 07 June 2019
8-hours remote interactive course on
"Type-level programming with GHC"
Andres Löh
Wednesday, 27 June 2018
"Type-level programming with GHC"
Andres Löh
Wednesday, 27 June 2018
Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 27 March 2018
Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 27 March 2018
Haskell development jobs with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Thursday, 11 May 2017
Andres Löh, Duncan Coutts, Adam Gundry
Thursday, 11 May 2017
Haskell development jobs with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 08 March 2016
Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 08 March 2016
Haskell Hackathon, Haskell eXchange, Haskell courses in London, October 2015
Andres Löh
Friday, 11 September 2015
Andres Löh
Friday, 11 September 2015
Parametricity Tutorial (Part 2): Type constructors and type classes
Edsko de Vries
Friday, 14 August 2015
Edsko de Vries
Friday, 14 August 2015
Dealing with Asynchronous Exceptions during Resource Acquisition
Edsko de Vries, Duncan Coutts
Thursday, 28 August 2014
Edsko de Vries, Duncan Coutts
Thursday, 28 August 2014
Debugging Haskell at assembly level
by scripting lldb in Python
Edsko de Vries
Friday, 01 August 2014
by scripting lldb in Python
Edsko de Vries
Friday, 01 August 2014
Performance profiling with ghc-events-analyze
Edsko de Vries, Duncan Coutts
Wednesday, 12 February 2014
Edsko de Vries, Duncan Coutts
Wednesday, 12 February 2014
InfoQ interview with Duncan on Parallelism, Concurrency and Distributed Programming
Duncan Coutts
Thursday, 14 March 2013
Duncan Coutts
Thursday, 14 March 2013
Parallel GHC project: new opportunity for an organisation to participate
Duncan Coutts
Wednesday, 08 June 2011
Duncan Coutts
Wednesday, 08 June 2011