[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021)

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will

[Haskell] [FNC-2021] CFP final deadline: Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021)

The 16th International Conference on Future Networks and Communications Leuven, Belgium August 9-12, 2021 http://cs-conferences.acadiau.ca/fnc-21/

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021)

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS

[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

-- Apologies for Cross-Posting --- - The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Leuven, Belgium, August 9-12, 2021 http://cs-conferences.acadiau.ca/mobispc-21/ - Important Dates - Workshop

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021)

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS

Re: How to user-define a type equality constraint?

That sounds like a bug/oversight! Is that not fixed in 9.2? On Mon, Apr 5, 2021 at 11:08 PM David Feuer wrote: > `Char` is defined in user code. What you really can't define are Char# and > TYPE, and you can't modify `RuntimeRep`. Speaking of `Char#`, I see that in > 9.0, at least, it has kind

Re: How to user-define a type equality constraint?

> On Apr 6, 2021, at 7:44 AM, Anthony Clayden > wrote: > > > But why does this matter? > > Because I want the semantics of that equality constraint, without switching > on any of these, which I don't otherwise use: > > GADTs > TypeFamilies > TypeOperators > > And if that means I can't use

Re: How to user-define a type equality constraint?

> But why does this matter? Because I want the semantics of that equality constraint, without switching on any of these, which I don't otherwise use: GADTs TypeFamilies TypeOperators And if that means I can't use infix `~` in my constraints, I'll put up with that. (I'd user-define a

[Haskell] Formal Methods 2021 (virtual conference): Call for papers

** FM 2021: 24th International Symposium on Formal Methods Beijng, China, November 20 - 26, 2021 https://lcs.ios.ac.cn/fm2021/ ** FM 2021 is the 24th international

Re: How to user-define a type equality constraint?

`Char` is defined in user code. What you really can't define are Char# and TYPE, and you can't modify `RuntimeRep`. Speaking of `Char#`, I see that in 9.0, at least, it has kind TYPE 'WordRep. Why is that not Word32Rep? On Mon, Apr 5, 2021, 10:50 PM Richard Eisenberg wrote: > > > On Apr 1,

Re: How to user-define a type equality constraint?

> On Apr 1, 2021, at 8:12 PM, Anthony Clayden > wrote: > > Can I user-define a conventional type-class that behaves more like `(~)`? I don't think so. But why does this matter? I can't define `Char` in user code, but it's exported from the Prelude and requires no extensions. While I can

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021)

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer CCIS

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will

How to user-define a type equality constraint?

Type equality `(~)` is a fine constraint. It's mildly annoying I need either `-XGADTs` or `-XTypeFamilies` to use it -- because I don't otherwise need those extensions. OTOH it's not H2010 so it needs to be switched on somehow. I see the Committee is discussing what to do. It's to be enabled by

[Haskell] Bx 2021 - CALL FOR PAPERS

To Haskellers, Bidirectional Transformations (Bx) are also known as lenses! Please consider submitting your Haskell-related papers which are very welcome. Best regards, Meng Meng Wang, PhD (Oxon) University of Bristol Senior Lecturer of Programming Languages Head of PL research group

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021

[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

-- Apologies for Cross-Posting --- The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Leuven, Belgium August 9-12, 2021 http://cs-conferences.acadiau.ca/mobispc-21/

[Haskell] IFL2021 First call for papers

IFL 2021 33rd Symposium on Implementation and Application of Functional Languages venue: online 1 - 3 September 2021

[Haskell] [FNC-2021] CFP deadline extension: Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021)

The 16th International Conference on Future Networks and Communications Leuven, Belgium August 9-12, 2021 http://cs-conferences.acadiau.ca/fnc-21/

[Haskell] PhD Position in Programming Languages at TU Delft

Dear all, I have an opening for a 4 year PhD position in the Programming Languages Group at Delft University of Technology. The PhD position is about defining and implementing typed programming languages in a modular way. The ideal candidate will have experience with one or more of the

[Haskell] Call for Talks: Haskell Implementors' Workshop

Call for Talks ACM SIGPLAN Haskell Implementors' Workshop https://icfp21.sigplan.org/home/hiw-2021 Virtual, 22 Aug, 2021 Co-located with ICFP 2021

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021)

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be

[Haskell] Call for Papers: Erlang Workshop 2021

https://icfp21.sigplan.org/home/erlang-2021 Erlang 2021 - Call for Papers The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technologies, languages and other relevant topics. The

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH

[Haskell] CFP] 18th Int. Conf. on Wireless Networks and Mobile Systems :: New Submission Deadline 01st of April

CALL FOR PAPERS 18th International Conference on Wireless Networks and Mobile Systems New Regular/Position Paper Submission Deadline: April 01, 2021 http://www.winsys.org July 07 - 09, 2021 Online Streaming The purpose of WINSYS, the International Conference on Wireless Networks

[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

-- Apologies for Cross-Posting --- The 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Leuven, Belgium August 9-12, 2021 http://cs-conferences.acadiau.ca/mobispc-21/

[Haskell] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation

FINAL CALL FOR PARTICIPATION 21st Midlands Graduate School in the Foundations of Computing Science MGS 21 12-16 April 2021, virtually

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All

[Haskell] Final Call for the early round of Papers for the Haskell Symposium 2021

Dear all, This is the final call for the early round of papers for the upcoming Haskell Symposium. Please forward to anyone that you believe might be interested. The deadline for this early round is March 19. Note that in May there is still the regular round of submissions. Apologies for

[Haskell] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021

Greetings, The Department of Computer Science at University of Sheffield has an open position of Lecturer in Verification. Details can be found here: https://www.jobs.ac.uk/job/CEF438/lecturer-in-verification Female applicants are particularly encouraged. Best wishes, Andrei

Re: Pattern synonym 'Required' constraints === Datatype Contexts(?)

No hidden Bool here -- this is just a consequence of the way that view patterns work, where you have to match against the result of the function, in this case, (>0). See https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/view_patterns.html Richard > On Mar 12, 2021, at 6:37

Re: Pattern synonym 'Required' constraints === Datatype Contexts(?)

Thank you Richard, Lennart, *Gergő* >* pattern Positive :: (Ord a, Num a) => a* >* pattern Positive <- ((>0) -> True)* *Heh heh, there's another surprise/undocumented 'feature'.* *It's not necessary to give a signature for pattern `Positive`, GHC will infer that from the decl.* *I was

Re: Pattern synonym 'Required' constraints === Datatype Contexts(?)

On Thu, 11 Mar 2021, Richard Eisenberg wrote: You're right that these features sit in a similar space. The difference is that, with a pattern synonym, the required context might be useful. This is because pattern synonyms can perform computation (via view patterns), and this computation might

Re: Pattern synonym 'Required' constraints === Datatype Contexts(?)

The required context on pattern synonyms isn't just useful, it's necessary. Since arbitrary computation can happen in both the pattern matching and construction we need the context. Take Richard's example, without the context on Positive we would infer the wrong type for any use of the Positive

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare

Call for papers ** International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers

Re: Pattern synonym 'Required' constraints === Datatype Contexts(?)

You're right that these features sit in a similar space. The difference is that, with a pattern synonym, the required context might be useful. This is because pattern synonyms can perform computation (via view patterns), and this computation might plausibly require some class constraint. An

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers

Pattern synonym 'Required' constraints === Datatype Contexts(?)

I must be slow on the uptake. I've just grokked this equivalence -- or is it? Consider >data Eq a => Set a = NilSet | ConsSet a (Set a) -- from the Language report > >-- ConsSet :: forall a. Eq a => a -> Set a => Set a -- inferred/per report > >-- equiv with Pattern syn

[Haskell] Call for papers for the Workshop on Functional High-Performance and Numerical Computing (FHPNC)

FHPNC 2021 Call for Papers == Satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), held on the 22nd of August. TL;DR: Paper/abstract deadline May 14th. Scope - The ACM SIGPLAN International Workshop on Functional

[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing

-- Apologies for Cross-Posting --- The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-21 Important Dates Submission Deadline March 19, 2021 Author Notification: May 17, 2021 Final Manuscript Due:

[Haskell] Second Call for Papers for the Haskell Symposium 2021

Dear all, This is the second call for papers for the upcoming Haskell Symposium. The deadline of the first round is approaching fast. Please forward to anyone that you believe might be interested. Apologies for receiving multiple copies of this announcement. Best regards, Jurriaan Hage Chair

[Haskell] [CFP]18th International Conference on Wireless Networks and Mobile Systems

CALL FOR PAPERS 18th International Conference on Wireless Networks and Mobile Systems New Submission Deadline: March 08, 2021 http://www.winsys.org ; July 07 - 09, 2021 Online Streaming Due to many requests, the regular papers submission deadline of this conference has been extended. The

[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing

-- Apologies for Cross-Posting --- The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-21 Important Dates Submission Deadline March 19, 2021 Author Notification: May 17, 2021 Final Manuscript Due:

[Haskell] CFP: International Conference on Recent Theories and Applications in Transportation and Mobility

Call for papers ** International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline:

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021

[Haskell] ETAPS 2021 call for participation

Registration is open. Early registration is until 15 March 2021. From 16 March, late registration rates apply. Author registration (ETAPS 2021 and ETAPS 2020) is until 15 March 2021. ** CALL FOR PARTICIPATION

[Haskell] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities"

Dear Colleagues, As Guest Editors, we cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Cloud-Based IoT Applications for Smart Cities" to be published in the journal Smart Cities (ISSN 2624-6511)

[Haskell] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks"

Dear Colleagues, As Guest Editor, I cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Security Measures in Vehicular Ad-Hoc Networks" to be published in the journal Electronics (IF 2.412) (ISSN 2079-9292)

[Haskell] SEIT-21: 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium

Call for Papers The 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium August 9-12, 2021 Conference Website: http://cs-conferences.acadiau.ca/seit-21

[Haskell] Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France

Dear All, Kindly find below an announcement for a position of Research Engineer at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project. Best Regards, Dr. Yazan Mualla Researcher and Lecturer Laboratoire

[Haskell] Formal Methods 2021 -- Call for papers

** FM 2021: 24th International Symposium on Formal Methods Beijng, China, November 20 - 26, 2021 https://lcs.ios.ac.cn/fm2021/ ** FM 2021 is the 24th international

[Haskell] CFP : International Conference on Applied Data Science and Intelligence - (ADSI 2021)

Call for papers ** International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH

[ANN] cabal-install-3.4.0.0

The Cabal team is excited to announce the release of cabal-install 3.4. This is the third release of the 3.0 release series, bringing a support for the `Cabal-Version: 3.4` `.cabal` file format. This introduces a number of user-facing features including: - Support for GHC 9.0 - Package

[Haskell] The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)

Please, accept our apologies in case of multiple copies of this CFP. * The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All

[Haskell] CFP : International Conference on Informatics Revolution for Smarter Healthcare

Call for papers ** International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers

[Haskell] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications)

Call for Workshops Proposals The 16th International Conference on Future Networks and Communications http://cs-conferences.acadiau.ca/fnc-21/#workshop_call

[Haskell] MobiSPC 2021 : Call for Workshop Proposals (The 18th International Conference on Mobile Systems and Pervasive Computing

Call for Workshops Proposals The 18th International Conference on Mobile Systems and Pervasive Computing http://cs-conferences.acadiau.ca/mobispc-21/#workshop_call

[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing

-- Apologies for Cross-Posting --- The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-21 Important Dates Workshop Proposal: February 21, 2021 Submission Deadline March 19, 2021 Author

[Haskell] First Call for Papers for the Haskell Symposium 2021

Dear all, This is the first call for papers for the upcoming Haskell Symposium. Please forward to anyone that you believe might be interested. Apologies for receiving multiple copies of this announcement. Best regards, Jurriaan Hage Chair PS. Note that the website is not up yet (but will be

[Haskell] Final Call for Participation: BOB 2021 (February 26, online)

BOB 2021 Conference “What happens if we simply use what’s best?” February 26, 2021, online

[Haskell] CFP : International Conference on Recent Theories and Applications in Transportation and Mobility

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All papers

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021

[Haskell] Request for Nominations to the GHC Steering Committee

Dear Haskell community, The three-year term limit of some of the GHC Steering committee members has expired. We are really grateful for the awesome work that Iavor, Richard, and Joachim have done through these years (especially the latter, who has acted as secretary.) As a result, the GHC

[Haskell] Open Position of Research Engineer on AI and mobility simulation at the CIAD Lab (UTBM) France

Dear All, Kindly find below an announcement for a position of Research Engineer at the CIAD laboratory (France, [ http://www.ciad-lab.fr%29/ | http://www.ciad-lab.fr ] ) in the context of our H2020 REDREAM project. Best Regards, Dr. Yazan Mualla Researcher and Lecturer Laboratoire

[Haskell] 10 PhD studentships in Nottingham

Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/ten-phds-2021 Applicants in the area of the Functional Programming Laboratory (https://tinyurl.com/fp-notts) are strongly encouraged! If

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH

[Haskell] CFP : International Conference on Applied Data Science and Intelligence

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 will be

Re: [ANNOUNCE] GHC 8.10.4 released

On Sun, 7 Feb 2021 at 00:17, Ben Gamari wrote: > The GHC team is very pleased to announce the availability of GHC 8.10.4. > Thank you! This is now already built for Fedora and can be tested/installed with: dnf --enablerepo=updates-testing-modular module install ghc:8.10/default It should go

[Haskell] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation

CALL FOR PARTICIPATION 21st Midlands Graduate School in the Foundations of Computing Science MGS 21 12-16 April 2021, virtually https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html

[Haskell] The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021)

Please, accept our apologies in case of multiple copies of this CFP. * The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems

[Haskell] SEIT-21: 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium

Call for Papers The 11th International Conference on Sustainable Energy Information Technology (SEIT 2021) Leuven, Belgium August 9-12, 2021 Conference Website: http://cs-conferences.acadiau.ca/seit-21

[Haskell] [FNC-2021] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021)

The 16th International Conference on Future Networks and Communications Leuven, Belgium August 9-12, 2021 http://cs-conferences.acadiau.ca/fnc-21/

Re: [ANNOUNCE] GHC 9.0.1 released

On Fri, 5 Feb 2021 at 02:04, Ben Gamari wrote: > The GHC team is very pleased to announce the availability of GHC 9.0.1. > This is now testable in Fedora with: sudo dnf --enablerepo=updates-testing-modular install ghc:9.0/default Thanks, Jens ___

[Haskell] WPTE 2021 (FIRST Call For Papers)

--- WPTE 2021: 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation Held online on July 18, 2021

[Haskell] [ANNOUNCE] GHC 8.10.4 released

The GHC team is very pleased to announce the availability of GHC 8.10.4. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.4/ This is a small bug-fix release, fixing two bugs present in 8.10.3: * Fix a linker hang triggered by dynamic

[ANNOUNCE] GHC 8.10.4 released

The GHC team is very pleased to announce the availability of GHC 8.10.4. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.4/ This is a small bug-fix release, fixing two bugs present in 8.10.3: * Fix a linker hang triggered by dynamic

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All

[Haskell] FNC 2021: Call for Workshop Proposals (The 16th International Conference on Future Networks and Communications)

Call for Workshops Proposals The 16th International Conference on Future Networks and Communications http://cs-conferences.acadiau.ca/fnc-21/#workshop_call

[Haskell] [CFP] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021)

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH 2021 will

[Haskell] [ANNOUNCE] GHC 9.0.1 released

The GHC team is very pleased to announce the availability of GHC 9.0.1. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/9.0.1/ In addition to numerous bug fixes, GHC 9.0.1 will bring a number of new features: * A first cut of the new

[ANNOUNCE] GHC 9.0.1 released

The GHC team is very pleased to announce the availability of GHC 9.0.1. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/9.0.1/ In addition to numerous bug fixes, GHC 9.0.1 will bring a number of new features: * A first cut of the new

Re: [Haskell] Haskell.org nomination results

Welcome aboard, Ida :) On Wed, Feb 03, 2021 at 10:14 AM, Ryan Trinkle < r...@trinkle.org > wrote: > > > > Great to meet you, Ida! > > > On 2/3/21 9:57 AM, Alexandre ... wrote: > > >> Hello people, >> >> >> I'm here to announce the results for the Haskell. org ( http://haskell.org/ >> )

[Haskell] The 18th International Conference on Mobile Systems and Pervasive Computing

-- Apologies for cross-posting. -- The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-21 Important Dates Workshop Proposal: February 21, 2021 Submission Deadline March 19, 2021 Author

[Haskell] Call for Papers: PACMPL issue ICFP 2021

PACMPL Volume 5, Issue ICFP 2021 Call for Papers Accepted papers to be invited for presentation at The 26th ACM SIGPLAN International Conference on Functional Programming To Be Held Virtualy

[Haskell] ETAPS Test of Time Award 2021, call for nominations

ETAPS Test of Time Award The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. See

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021

Re: [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-rc1 released

Thanks - I forgot to follow up earlier but on Fedora you can test 9.0.1 RC1 now with: sudo dnf module install ghc:9.0/default Jens ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021

[Haskell] [Smart Cities] Invitation: Special Issue "Cloud-Based IoT Applications for Smart Cities"

Dear Colleagues, As Guest Editors, we cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Cloud-Based IoT Applications for Smart Cities" to be published in the journal Smart Cities (ISSN 2624-6511)

[Haskell] [Electronics] Invitation: Special Issue "Security Measures in Vehicular Ad-Hoc Networks"

Dear Colleagues, As Guest Editor, I cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Security Measures in Vehicular Ad-Hoc Networks" to be published in the journal Electronics (IF 2.412) (ISSN 2079-9292)

[Haskell] [Information] Invitation: Special Issue "Information for Business and Management–Software Development for Data Processing and Management"

Dear Colleagues, As Guest Editor, I cordially invite you to submit a manuscript for consideration and possible publication in a Special Issue "Information for Business and Management–Software Development for Data Processing and Management" to be published in the journal Information

[Haskell] [Lambda Days + TFP + TFPIE 2021] call for participation

---   C A L L  F O R  P A R T I C I P A T I O N    8th Lambda Days   +  10th International Workshop on Trends in Functional Programming in Education   

<    3   4   5   6   7   8   9   10   11   12   >