[Haskell] Problem with superclass entailment in A Static Semantics for Haskell

2005-10-28 Thread Stefan Wehr
, pages = 109--138, year= 1996, } Cheers, Stefan Wehr -- Stefan Wehr Web: http://www.stefanwehr.de PGP: Key is available from pgp.mit.edu, ID 0B9F5CE4 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman

[Haskell] CUFP 2012: Call for Presentations

2012-02-23 Thread Stefan Wehr
Ashish Agarwal (New York University) Thomas Arts (QuviQ AB) Chris Houser (LonoCloud) Tomas Petricek (University of Cambridge) Heiko Seeberger (Typesafe) Stefan Wehr (factis research) Noel Welsh (untyped) More information For more information on CUFP, including

[Haskell] CUFP 2012: Call for Presentations

2012-05-21 Thread Stefan Wehr
Agarwal (New York University) Thomas Arts (QuviQ AB) Chris Houser (LonoCloud) Tomas Petricek (University of Cambridge) Heiko Seeberger (Typesafe) Stefan Wehr (factis research) Noel Welsh (untyped) More information For more information on CUFP, including videos

[Haskell] CUFP 2012: only 8 days left to submit your talk proposal

2012-06-21 Thread Stefan Wehr
of Cambridge), co-chair Ashish Agarwal (New York University) Thomas Arts (QuviQ AB) Chris Houser (LonoCloud) Tomas Petricek (University of Cambridge) Heiko Seeberger (Typesafe) Stefan Wehr (factis research) Noel Welsh (untyped) More information For more

[Haskell] ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014

2014-07-14 Thread Stefan Wehr
Dear Haskellers, another Haskell Hackathon is waiting for you! Where: Berlin, Germany When: Fri 26 - Sun 28 September 2014 Meet in Berlin, discuss, hack together and improve the Haskell infrastructure. We welcome all programmers interested in Haskell, beginners and experts! For all details,

[Haskell] Call for participation: Haskell tutorial at CUFP on 4 Sep 2014

2014-07-22 Thread Stefan Wehr
, but you should know how to write functions and data types. For more details, see http://cufp.org/2014/t2-stefan-wehr-haskell-in-the-real-world.html Registration page: https://regmaster4.com/2014conf/ICFP14/register.php Please distribute this call for participation. See you in Gothenburg! Stefan

[Haskell] [ANN] BOB 2015: Call for Contributions

2014-08-17 Thread Stefan Wehr
will be waived for presenters, but travel expenses will not be covered. Program Committee - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Michael Sperber, Active Group - Stefan Wehr, factis research Wissenschaftlicher Beirat - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni

[Haskell] [ANN] HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014

2014-08-29 Thread Stefan Wehr
Hi everyone, this is just a quick reminder: The Haskell Hackathon in Berlin is coming soon and there are still some places left. Please register now: http://goo.gl/aLfnWu The first keynote is also fixed; it will be given by Andres Löh (http://www.andres-loeh.de/). Thanks, Andres! Where: Berlin,

[Haskell] [ANN] BOB 2015: Call for Contributions

2014-09-17 Thread Stefan Wehr
, 2014 - notification: October 15, 2014 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Program Committee - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Michael Sperber, Active Group - Stefan Wehr, factis research

[Haskell] ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014

2014-09-17 Thread Stefan Wehr
Hi everyone, this is just a quick reminder: The Haskell Hackathon in Berlin starts in 9 days and there are very few places left. Please register now: http://goo.gl/aLfnWu Where: Berlin, Germany When: Fri 26 - Sun 28 September 2014 We will do lots of Haskell hacking and listen to two excellent

[Haskell] Call for Participation: BOB 2015 in Berlin

2014-11-20 Thread Stefan Wehr
Hi everyone, the BOB conference is taking place soon, featuring two Haskell related tutorials! BOB 2015 Conference What happens if we simply use what's best? January 23. 2015 Berlin, Germany http://bobkonf.de/2015/ Program:

[Haskell] Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016

2015-10-28 Thread Stefan Wehr
G - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - - Annette Bieniusa, TU Kaiserslautern - Peter Thiemann, Uni Freiburg ___ Haske

[Haskell] Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016

2015-09-18 Thread Stefan Wehr
gscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - - Annette Bieniusa, TU Kaiserslautern - Peter Thiemann, Uni Freiburg ___ Haskell mailing list Haskell@haskell.org http://mail.h

[Haskell] Call for Participation: BOB 2016 (February 19, Berlin)

2016-01-14 Thread Stefan Wehr
Quick reminder: the early registration deadline for BOB 2016 is this Sunday! We have some interesting Haskell talks and tutorials at BOB 2016! BOB 2016 Conference

[Haskell] Call for Participation: BOB 2017 (February 24, Berlin)

2017-01-20 Thread Stefan Wehr
Reminder: early registration ends this Monday! BOB 2017 Conference "What happens if we simply use what's best?" February 24, 2017

[Haskell] [ANN] Call for Contributions: BOB 2017 - Berlin, Feb 24, 2017

2016-09-14 Thread Stefan Wehr
Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Un

[Haskell] ANN: HacFreiburg 2017, Friday 4 August - Sunday 6 August, Freiburg, Germany

2017-04-12 Thread Stefan Wehr
Organizers: Peter Thiemann, Alexander Thiemann, Stefan Wehr HacFreiburg is another Haskell Hackathon, where Haskell programmers from all around the world meet in Freiburg, Germany, to discuss, hack together and improve the Haskell infrastructure. We welcome all programmers interested in Haskell

[Haskell] [ANN] Call for Contributions: BOB 2018 - Berlin, Feb 23, 2018

2017-10-24 Thread Stefan Wehr
Committee - (more information here: http://bobkonf.de/2018/en/programmkomitee.html) - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientifi

[Haskell] Call for Participation: BOB 2018 (February 23, Berlin)

2018-02-03 Thread Stefan Wehr
There are several Haskell-related talks and tutorials, see below for details! BOB 2018 Conference “What happens if we simply use what’s best?”

[Haskell] Call for Contributions: Summer BOB 2019 [Aug 21, Berlin, deadline May 17]

2019-04-07 Thread Stefan Wehr
twareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg More information here: http://bobkonf.de/2019-summer/

[Haskell] Call for Participation: Summer BOB 2019 (August 21, Berlin)

2019-07-07 Thread Stefan Wehr
Summer BOB 2019 Conference “What happens if we simply use what’s best?” August 21, 2019, Berlin co-located

[Haskell] Call for Participation: Summer BOB 2019 (August 21, Berlin)

2019-07-31 Thread Stefan Wehr
Here's a quick reminder on the upcoming BOB conference, happening at the third day of ICFP at the same venue. For those going to ICFP anyway: your ticket also gives you access to all BOB talks. For those not going to ICFP: come to BOB conference and also get access to the ICFP talks of day 3!

[Haskell] Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8]

2019-09-17 Thread Stefan Wehr
n: November 22, 2019 - Program: December 6, 2019 Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active

[Haskell] Call for Participation: BOB 2020 (February 28, Berlin)

2019-12-16 Thread Stefan Wehr
BOB 2020 Conference “What happens if we simply use what’s best?” February 28, 2020, Berlin

[Haskell] 2nd Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8]

2019-10-24 Thread Stefan Wehr
hael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-

[Haskell] [ANN] 2nd Call for Participation: BOB 2020 (February 28, Berlin, early-bird until Jan 20)

2020-01-15 Thread Stefan Wehr
BOB 2020 Conference “What happens if we simply use what’s best?” February 28, 2020, Berlin

[Haskell] Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]

2020-10-06 Thread Stefan Wehr
p Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advis

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

2021-01-11 Thread Stefan Wehr
BOB 2021 Conference “What happens if we simply use what’s best?” February 26, 2021, online

[Haskell] Call for Participation: BOB 2021 (February 26, online, early-bird until Dec 31)

2020-12-08 Thread Stefan Wehr
“What happens if we simply use what’s best?” BOB Conference 2021 February 26, 2021, online (0100+UTC) http://bobkonf.de/2021/ Program: http://bobkonf.de/2021/program.html Registration: http://bobkonf.de/2021/registration.html Keynote: Jeremy Gibbons BOB conference is a place for developers,

[Haskell] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]

2020-11-10 Thread Stefan Wehr
p Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advis

[Haskell] 2nd Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]

2020-10-30 Thread Stefan Wehr
bob2021/cfp Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg

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

2021-02-16 Thread Stefan Wehr
BOB 2021 Conference “What happens if we simply use what’s best?” February 26, 2021, online

[Haskell] Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]

2021-11-02 Thread Stefan Wehr
it here: https://bobcfc.active-group.de/en/bob2022/cfp Program Committee - (more information here: https://bobkonf.de/2022/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active G

[Haskell] 2nd Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]

2021-12-01 Thread Stefan Wehr
it here: https://bobcfc.active-group.de/en/bob2022/cfp Program Committee - (more information here: https://bobkonf.de/2022/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperb

[Haskell] Call for Participation: BOB 2022 (March 11, Berlin or online)

2022-01-13 Thread Stefan Wehr
BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, Berlin or online

[Haskell] 2nd Call for Participation: Virtual BOB 2022 (March 11)

2022-02-23 Thread Stefan Wehr
= BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, online 0100+UTC

[Haskell] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]

2023-11-03 Thread Stefan Wehr
Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg ___ Haskell mailing

[Haskell] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]

2023-10-11 Thread Stefan Wehr
l) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen

[Haskell] Call for Contributions: BOB 2023 [March 17, Deadline Nov 21]

2022-10-18 Thread Stefan Wehr
December 12, 2022 Submit here: https://pretalx.com/bob-2023/submit/ Program Committee - (more information here: https://bobkonf.de/2023/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael

[Haskell] 2nd Call for Contributions: BOB 2023 [March 17, Deadline Nov 21]

2022-11-09 Thread Stefan Wehr
December 12, 2022 Submit here: https://pretalx.com/bob-2023/submit/ Program Committee - (more information here: https://bobkonf.de/2023/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael

[Haskell] 2nd Call for Participation: BOB 2023 (Berlin, March 17)

2023-02-02 Thread Stefan Wehr
= BOB 2023 Conference “What happens if we simply use what’s best?” March 17, 2023, Berlin

[Haskell] Call for Participation: BOB 2024 (Berlin, March 15)

2023-12-15 Thread Stefan Wehr
= BOB 2024 Conference “What happens if we simply use what’s best?” March 15, 2024, Berlin

Cost Centre MAIN

2010-09-19 Thread Stefan Wehr
Hi all, I'm profiling a Haskell program and now getting that the program spents 56% of its individual time in the cost centre MAIN (note the capital letters). I searched the documentation for this cost centre, with no success. In all profiling results so far, the individual time spent in MAIN

Re: Cost Centre MAIN

2010-09-23 Thread Stefan Wehr
2010/9/21 Simon Marlow marlo...@gmail.com: On 19/09/2010 13:11, Stefan Wehr wrote: Hi all, I'm profiling a Haskell program and now getting that the program spents 56% of its individual time in the cost centre MAIN (note the capital letters). I searched the documentation for this cost

Profiling: 0 entries but high costs

2010-10-05 Thread Stefan Wehr
Hi all, here is some profiling output which shows strange behavior: COST CENTRE MODULE no. entries %time %alloc %time %alloc MAIN MAIN 1 00.00.0 100.0 100.0 ...

Re: termination for FDs and ATs

2006-05-03 Thread Stefan Wehr
Manuel M T Chakravarty [EMAIL PROTECTED] wrote:: Martin Sulzmann: Manuel M T Chakravarty writes: Martin Sulzmann: A problem with ATs at the moment is that some terminating FD programs result into non-terminating AT programs. Somebody asked how to write the MonadReader class

Re: termination for FDs and ATs

2006-05-09 Thread Stefan Wehr
Manuel M T Chakravarty [EMAIL PROTECTED] wrote:: Stefan Wehr: Manuel M T Chakravarty [EMAIL PROTECTED] wrote:: Martin Sulzmann: Manuel M T Chakravarty writes: Martin Sulzmann: A problem with ATs at the moment is that some terminating FD programs result into non-terminating

Re: termination for FDs and ATs

2006-05-09 Thread Stefan Wehr
Iavor Diatchki [EMAIL PROTECTED] wrote:: Hello, On 5/3/06, Stefan Wehr [EMAIL PROTECTED] wrote: class C a class F a where type T a instance F [a] where type T [a] = a class (C (T a), F a) = D a where m :: a - Int instance C a = D [a] where m _ = 42 If you now try

Re: [Haskell-cafe] Compiling an extremely large Haskell file (in GHC)

2005-06-28 Thread Stefan Wehr
. There is really no need to precompute all-pairs shortest path! Cheers, Stefan -- Stefan Wehr Web: http://www.stefanwehr.de PGP: Key is available from pgp.mit.edu, ID 0B9F5CE4 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

[Haskell-cafe] Re: Associated Type Synonyms question

2006-02-15 Thread Stefan Wehr
Niklas Broberg [EMAIL PROTECTED] wrote:: On 2/10/06, Ross Paterson [EMAIL PROTECTED] wrote: On Fri, Feb 10, 2006 at 05:20:47PM +0100, Niklas Broberg wrote: - when looking at the definition of MonadWriter the Monoid constraint is not strictly necessary, and none of the other mtl monads have

[Haskell-cafe] Re: Associated Type Synonyms question

2006-02-17 Thread Stefan Wehr
Martin Sulzmann [EMAIL PROTECTED] wrote:: Stefan Wehr writes: [...] Manuel (Chakravarty) and I agree that it should be possible to constrain associated type synonyms in the context of class definitions. Your example shows that this feature is actually needed. I will integrate

[Haskell-cafe] lhs2TeX and line numbers in error messages produced by LaTeX

2005-05-02 Thread Stefan Wehr (formerly Heimann)
-- Stefan Wehr (formerly Heimann) Web: http://www.stefanwehr.de PGP: Key is available from pgp.mit.edu, ID 0B9F5CE4 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe