[Haskell] CMSB 2023: last call for papers (extended deadlines)

2023-04-17 Thread Jun PANG
CMSB 2023: 21st Conference on Computational Methods in Systems Biology Luxembourg City, Luxembourg September 13-15, 2023 Conference website: https://cmsb2023.uni.lu/ CMSB series website: https://cmsb.sciencesconf.org/

[Haskell] Call for Papers: Functional Software Architecture - FP in the Large

2023-04-17 Thread Graham Hutton via Haskell
Dear all, The first workshop on "Functional Software Architecture - FP in the Largeā€ will be held in Seattle in Sept 2023, co-located with the ICFP conference. Please share, and submit your best papers, experience reports, and architectural pearls on large-scale functional programming! The

[Haskell] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023

2023-04-17 Thread louis . rustenholz
(Apologies for multiple postings) -- Final Call for Papers - Paper Deadline: April 24, 2023 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 -

Pattern Synonym decls only at top level

2023-04-17 Thread Anthony Clayden
" Pattern synonym declarations can only occur in the top level of a module. In particular, they are not allowed as local definitions. " says the User Guide. And the 2016 paper says likewise. But there's no explanation why. PattSyns are not necessarily declared in the same module as the