[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

[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

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

[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] 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

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

2010-05-25 Thread Torsten Grust
Grust torsten.gr...@uni-tuebingen.de | | www-db.informatik.uni-tuebingen.de | | Database Systems - Universität Tübingen (Germany) | ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

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

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

2010-03-28 Thread Torsten Grust
Grust? http://kops.ub.uni-konstanz.de/volltexte/1999/312/pdf/312_1.pdf As the paper dates from 1999 I wonder if its content may have been obsoleted by later works or if it still is pretty much current. I ask this because I'm still struggling to put my program with lots of queries

[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

[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] 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] 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: 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 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 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

Showing tuples

2000-05-09 Thread grust
Hi, I am having trouble with Show and tuples. I have a data structure, say: data MyData = ... And a value, say: value = (MyData..., MyData..., MyData) Then try to: show value I get a compiler message from ghc 4.05 that says: No instance for `Show (MyData, MyData, MyData)... What is

RE: Showing tuples

2000-05-09 Thread grust
Do you derive Show for MyData? -Original Message- From: Mike Jones [mailto:[EMAIL PROTECTED]] Sent: 09 May 2000 05:58 To: [EMAIL PROTECTED] Subject: Showing tuples Hi, I am having trouble with Show and tuples. I have a data structure, say: data MyData = ... And a

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) |

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: 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: 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: 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: 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