Re: quicksort and compiler optimization

1998-05-11 Thread Torsten Grust
to recall here, but Andrew Gill, John Launchbury, and Simon Peyton-Jones used this technique as a preprocessing step for subsequent deforestation in their "A Shortcut to Deforestation" (FPCA `93) paper. --Teggy -- | Torsten Grust mailto:[EMAIL

Re: category theory

1998-10-15 Thread Torsten Grust
, --Torsten -- | Torsten Grust [EMAIL PROTECTED] | | http://www.fmi.uni-konstanz.de/~grust/ | | Database Research Group, University of Konstanz (Lake Constance/Germany) |

Re: Haskell as a relational database language

1998-12-15 Thread Torsten Grust
Functional Approach to Intelligent Information Systems'' early next year. -- | Torsten Grust [EMAIL PROTECTED] | | http://www.fmi.uni-konstanz.de/~grust/ | | Database Research Group, University of Konstanz (Lake Constance/Germany) |

Re: Zipping two sequences together with only cons, empty, foldr

1999-07-02 Thread Torsten Grust
, but the availability of xs to the cons function rang a bell.) Cheers, --Teggy -- | Torsten Grust [EMAIL PROTECTED] | | http://www.fmi.uni-konstanz.de/~grust/ | | Database Research Group, University of Konstanz (Lake Constance

Re: What is a functional language?

1999-09-27 Thread Torsten Grust
, LNCS 1022. Best wishes, --Torsten -- | Torsten Grust [EMAIL PROTECTED] | | http://www.fmi.uni-konstanz.de/~grust/ | | Database Research Group, University of Konstanz (Lake Constance/Germany) |

Re: [...| xs = [0..n], ...]

1999-10-09 Thread Torsten Grust
, let ys = xs \\ [x], y - ys, ... ] Best wishes, --Torsten -- | Torsten Grust [EMAIL PROTECTED] | | http://www.fmi.uni-konstanz.de/~grust/ | | Database Research Group, University of Konstanz (Lake Constance/Germany) |

[Haskell] PLAN-X 2007: Call for Papers and Demos

2006-07-21 Thread Torsten Grust
) -- PLAN-X 2007 Workshop Chairs - General Chair - Program Chair Torsten Grust Giorgio Ghelli TU MünchenU Pisa Munich, Germany Pisa, Italy [EMAIL PROTECTED] [EMAIL PROTECTED

[Haskell] PLAN-X 2007: Call for Papers and Demos (Deadline Extended)

2006-09-20 Thread Torsten Grust
(U Edinburgh, UK) -- PLAN-X 2007 Workshop Chairs - General Chair - Program Chair Torsten Grust Giorgio Ghelli TU MünchenU Pisa Munich, Germany Pisa, Italy [EMAIL PROTECTED] [EMAIL PROTECTED

[Haskell] PLAN-X 2007: Call for Participation

2006-11-29 Thread Torsten Grust
Torsten Grust Giorgio Ghelli TU MünchenU Pisa Munich, Germany Pisa, Italy [EMAIL PROTECTED] [EMAIL PROTECTED] -- PLAN-X 2007 Program Committee - Michael Benedikt (Lucent, USA) - Daniela Florescu

[Haskell] PLAN-X 2007: Call for Participation [and Program Updates]

2006-12-14 Thread Torsten Grust
$99 Student $89 Your registration includes a copy of the PLAN-X 2007 informal proceedings, coffee breaks, and lunch. -- PLAN-X 2007 Workshop Chairs - General Chair - Program Chair Torsten Grust Giorgio Ghelli TU München

[Haskell] PLAN-X 2007: Last Call for Participation

2007-01-02 Thread Torsten Grust
$99 Student $89 Your registration includes a copy of the PLAN-X 2007 informal proceedings, coffee breaks, and lunch. -- PLAN-X 2007 Workshop Chairs - General Chair - Program Chair Torsten Grust Giorgio Ghelli TU

[Haskell] Open Position (PhD student or Postdoc ), U Tübingen, Germany

2010-01-11 Thread Torsten Grust
database and programming languages The Database Systems Research Group (Prof. Torsten Grust) at the Wilhelm-Schickard-Institute for Computer Science of Eberhard Karls Universität Tübingen, Germany, opens a position for a Research

[Haskell] Call for Participation: XLDI 2012 (@ ICFP 2012)

2012-08-03 Thread Torsten Grust
in Copenhagen, --James Cheney, Torsten Grust (XLDI co-chairs) ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] PhD/Postdoc Position at U Tübingen (Germany)

2013-04-09 Thread Torsten Grust
on bringing back monad comprehensions into GHC are testament to this, I guess. Please consider joining us! Cheers, Torsten ] Starting October 2013, the DATABASE SYSTEMS Chair (Prof. Dr. Torsten Grust) at the Wilhelm-Schickard-Institute for Computer Science of Universität Tübingen

[Haskell] Full Professorship (U Tübingen, Germany)

2013-12-14 Thread Torsten Grust
in elektronischer Form erbeten an den Dekan der Mathematisch-Naturwissenschaftlichen Fakultät der Universität Tübingen (deka...@mnf.uni-tuebingen.de). -- | Prof. Dr. Torsten Grust | Database Systems — Universität Tübingen (Germany) | torsten.gr...@uni-tuebingen.de | db.inf.uni-tuebingen.de

[Haskell] PhD/Postdoc Position at U Tübingen (Germany)

2016-11-07 Thread Torsten Grust
are testament to this. Please consider joining us! Cheers, Torsten ] Starting Januar 2017, the DATABASE SYSTEMS Chair (Prof. Dr. Torsten Grust) at the Wilhelm-Schickard-Institute for Computer Science of University of Tuebingen (Germany), has a vacant position

Re: [Haskell-cafe] is anyone familiar with Comprehending Queries by Torsten Grust?

2010-03-28 Thread Torsten Grust
on a more sound code base. Günther ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe -- | Prof. Dr. Torsten Grust torsten.gr...@uni-tuebingen.de

Re: [Haskell-cafe] Haskell, Queries and Monad Comprehension

2010-05-25 Thread Torsten Grust
Wadler's Links. The Ferry compiler itself is built in Haskell. Surf to www.ferry-lang.org for more information, screencasts, papers, talks, and contact us for more details. We will be happy to share Ferry's Haskell code once in digestable shape (soon). Cheers, --Torsten -- | Prof. Dr. Torsten

Re: [Haskell-cafe] Haskell, Queries and Monad Comprehension

2010-05-25 Thread Torsten Grust
a Haskell embedding. So, Haskell: not yet. But conceivable. Cheers, --Torsten Am 25.05.10 21:28, schrieb Torsten Grust: Günther, we are currently underway building the second version (as in: done right this time) of Ferry, a query compiler that (1) accepts queries over ordered, nested

[Haskell-cafe] Re: OT: Literature on translation of lambda calculus to combinators

2010-02-01 Thread Torsten Grust
Dear all, Dušan Kolář kolar at fit.vutbr.cz writes: [...] Could anyone provide a link to some paper/book (electronic version of both preferred, even if not free) that describes an algorithm of translation of untyped lambda calculus expression to a set of combinators? Preferably SKI or

Re: [Haskell-cafe] Expression problem in the database?

2013-07-23 Thread Torsten Grust
-- | Prof. Dr. Torsten Grust | Database Systems — Universität Tübingen (Germany) | torsten.gr...@uni-tuebingen.de | db.inf.uni-tuebingen.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe