[Haskell] Vacancy: Professor Software technology at Utrecht University

professor plays an active role in the leadership and administrative duties of the Department and/or Faculty. For more information about this vacancy, go to http://goo.gl/1vLeVc ——— Johan Jeuring Department of Information and Computing Sciences Utrecht University The Netherlands http

[Haskell] VACANCIES : 3x PhD position in Fuctional Programming

application via email to Johan Jeuring: j.t.jeur...@uu.nl --- Contact person --- For further information you can direct your inquiries to: Johan Jeuring phone: +31 (0)30 253 4115/ (0) 6 40010053 e-mail: j.t.jeur...@uu.nl website: http://www.staff.science.uu.nl/~jeuri101

[Haskell] Vacancies: 4 PhD students Software Technology Utrecht University

--- Additional information --- If you have any questions regarding these positions, please contact Johan Jeuring +31 (0)640010053 j.t.jeur...@uu.nl Wouter Swierstra +31 (0)30 253 9207 w.s.swiers...@uu.nl

[Haskell] CFP: TFPIE 2015

reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014). *** Program Committee *** Peter Achten, Radboud University Nijmegen, The Netherlands Edwin Brady, University of St Andrews, UK Johan Jeuring

[Haskell] FINAL CALL: Applied Functional Programming (AFP) Summerschool 7-18 July 2014, Utrecht, Netherlands

One week to go until the registration deadline... -- Johan Jeuring === AFP Summerschool 2014 === Applied Functional Programming (AFP) Summerschool July 7-18, 2014 Utrecht University, Department of Information and Computing Sciences Utrecht, The Netherlands

[Haskell] Video chair at ICFP

, Johan Jeuring General chair for ICFP 2014 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Vacancy Professor Software Technology

Dear colleague,Want to teach and do research in an exciting environment, in the fourth most happy city on earth (http://www.bbc.com/travel/feature/20131022-living-in-the-worlds-happiest-places)? Or do you think a colleague might be a suitable candidate? Let us know. We have a vacancy for:Full

[Haskell] Vacancy Assistant Professor Software Technology Utrecht University (1, 0 fte)

. The division mainly contributes to the education in the bachelor programs information science and computer science, and to the master program Computing Science.Additional informationFor more information please contact Prof.dr. Johan Jeuring +31.30.253.4115 or +31.6.400.100.53, email:j.t.jeur

[Haskell-cafe] Vacancy Assistant Professor Software Technology Utrecht University (1, 0 fte)

. The division mainly contributes to the education in the bachelor programs information science and computer science, and to the master program Computing Science.Additional informationFor more information please contact Prof.dr. Johan Jeuring +31.30.253.4115 or +31.6.400.100.53, email:j.t.jeur

[Haskell] Summer school on Applied Functional Programming at Utrecht University

, for solving it. More information: http://www.cs.uu.nl/wiki/USCS/ Please forward this announcement to potential participants. Best, Doaitse Swierstra, Atze Dijkstra and Johan Jeuring ___ Haskell mailing list Haskell@haskell.org http

[Haskell-cafe] Summer school on Applied Functional Programming at Utrecht University

, for solving it. More information: http://www.cs.uu.nl/wiki/USCS/ Please forward this announcement to potential participants. Best, Doaitse Swierstra, Atze Dijkstra and Johan Jeuring ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

[Haskell] ANNOUNCE: Palindromes 0.2

from standard input, via the flag -i - More flexible flag handling - Read multiple files - Specify minimum length of palindromes returned, via the flag -m int For more information, consult the README file in the distribution. -- Johan Jeuring ___ Haskell

Re: [Haskell-cafe] ANNOUNCE: Palindromes 0.1

Hi Henning, Thanks for the many suggestions. On Sun, 6 Sep 2009, Johan Jeuring wrote: The primary features of Palindromes include: * Linear-time algorithm for finding exact palindromes * Linear-time algorithm for finding text palindromes, ignoring spaces, case of characters

Re: [Haskell-cafe] ANNOUNCE: Palindromes 0.1

On 07 Sep 2009, at 21:21, Rafael Cunha de Almeida wrote: Johan Jeuring wrote: Palindromes == Palindromes is a package for finding palindromes in files. Visit the homepage http://www.jeuring.net/Palindromes/ A few options are not working well

[Haskell] ANNOUNCE: Palindromes 0.1

and questions, email the author: johan at jeuring.net Licensing - Palindromes is licensed under the so-called BSD3 license. See the included `LICENSE` file. Credits --- Palindromes is based on the functional program developed by Johan Jeuring in his PhD thesis. The current

[Haskell-cafe] ANNOUNCE: Palindromes 0.1

and questions, email the author: johan at jeuring.net Licensing - Palindromes is licensed under the so-called BSD3 license. See the included `LICENSE` file. Credits --- Palindromes is based on the functional program developed by Johan Jeuring in his PhD thesis. The current

Re: [Haskell-cafe] Why is there no Zippable class? Would this work?

generic functions for free. See http://hackage.haskell.org/package/emgm -- Johan Jeuring For example, for data Tree a = Leaf a | Node (Tree a) (Tree a) you would have: instance Zippable Tree where tryZip (Leaf a) (Leaf b) = Right (Leaf (a,b)) tryZip (Node a1 a2) (Node b1 b2

Re: [Haskell-cafe] Foldable for BNFC generated tree

want a fold for a set of mutually recursive datatypes without type parameters. This function is available in the generic programming library multirec: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/multirec Kind reagrds, Johan Jeuring

Re: [Haskell-cafe] Supplying a default implementation for a typeclass based on another class

releases include the EMGM and SYB libraries for generic programming. -- Johan Jeuring ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] data declarations should provide fold functions

folds for mutually recursive datatypes. The released version of multirec doesn't include the TH files for generating the boilerplate code (for example, embedding-projection pairs for datatypes) necessary for using the library. However, the head has TH support for this. All the best, Johan Jeuring

Re: [Haskell-cafe] Deriving

generic programming techniques, you can read (shameless plugs): Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera. Comparing Libraries for Generic Programming in Haskell. In Andy Gill, editor, Proceedings of the ACM SIGPLAN Haskell Symposium

Re: [Haskell-cafe] Re: [Haskell] Compiler Construction course using Haskell?

Dear Johannes, Besides the IPT course, we also teach a course hat used to be called grammars and parsing. This course is taken before the compiler construction course. In this course we deal with parser combinators, datatypes, folds, first and follow, LL(1), and some more stuff, all in Haskell.

[Haskell] Presentations at Dutch Functional Programming Day 2008

Most of the presentations at the Dutch Functional Programming Day 2008 are now available on-line: http://people.cs.uu.nl/johanj/FPDag2008/ All slides are in English. -- Johan ___ Haskell mailing list Haskell@haskell.org

[Haskell] PhD student on Real-life datatype-generic programming

the Software Technology group on http:// www.cs.uu.nl/wiki/Center More information about the Information and Computing Sciences department on http://www.cs.uu.nl/ More information about this vacancy can be obtained from Johan Jeuring ([EMAIL PROTECTED], http://www.cs.uu.nl/~johanj/, +31 6

[Haskell-cafe] PhD student on Real-life datatype-generic programming

the Software Technology group on http:// www.cs.uu.nl/wiki/Center More information about the Information and Computing Sciences department on http://www.cs.uu.nl/ More information about this vacancy can be obtained from Johan Jeuring ([EMAIL PROTECTED], http://www.cs.uu.nl/~johanj/, +31 6

[Haskell] ICFP Programming Contest 2007

Want to show off your programming skills? Your favorite programming language? Your best programming tools? Join the ICFP Programming Contest 2007! The 10th ICFP Programming Contest celebrates a decade of contests. This is one of the world's most advanced and prestiguous programming contest

[Haskell-cafe] ICFP Programming Contest 2007

Want to show off your programming skills? Your favorite programming language? Your best programming tools? Join the ICFP Programming Contest 2007! The 10th ICFP Programming Contest celebrates a decade of contests. This is one of the world's most advanced and prestiguous programming contest

[Haskell] Vacancy for a PhD student

, rewriting, strategies, generic programming, etc. will be useful. More information about the project can be found on http://ideas.cs.uu.nl/wiki/index.php/IDEAS:StrategicFeedback or contact Johan Jeuring ([EMAIL PROTECTED], +31 6 40010053). To apply: send a letter and your curriculum vitae

[Haskell-cafe] Vacancy for a PhD student

, rewriting, strategies, generic programming, etc. will be useful. More information about the project can be found on http://ideas.cs.uu.nl/wiki/index.php/IDEAS:StrategicFeedback or contact Johan Jeuring ([EMAIL PROTECTED], +31 6 40010053). To apply: send a letter and your curriculum vitae

[Haskell] Dutch Functional Programming Day 2008

Presentaties 14:30-15:00 Thee 15:00-16:00 Presentaties 16:00-? borrel Met vriendelijke groet, Johan Jeuring ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Common library for generic programming

to the mailing list [EMAIL PROTECTED], see http://www.haskell.org/mailman/listinfo/generics -- Johan Jeuring and Andres Loeh ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: Re[2]: [Haskell-cafe] instance Binary Data

approaches to generic programming. I'm not sure if this is what you are looking for, but it is at least related. See the paper Comparing approaches to generic programming in Haskell available via http://www.cs.uu.nl/~johanj/publications/publications.html Kind regards, Johan Jeuring On 12-jul-2006

Re: [Haskell-cafe] develop new Haskell shell?

Who wants to try devloping a new shell with me? Also: http://www.cse.unsw.edu.au/~dons/h4sh.html And (in Clean): Rinus Plasmeijer and Arjen van Weelden. A functional shell that operates on typed and compiled applications. In Varmo Vene and Tarmo Uustalu, editors, Advanced Functional

Re: [Haskell-cafe] Haskell XSLT interpreter?

Has anyone written a pure haskell xslt interpreter? If not, how difficult would it be to do so? A master student of mine implemented XSLT in Haskell a couple of years ago. I've uploaded his thesis on http://www.cs.uu.nl/~johanj/MSc/danny.pdf If you're interested in the code, mail me.

[Haskell] Re: Re[2]: [Template-haskell] new TH tutorial (request for comments)

JW I'd like to read some overview and comparison on second-level JW programming in Haskell (and if there is none, I'm willing to contribute): This won't be of much help right now, but Ralf Hinze, Andres Loh and I are preparing lecture notes on Comparing approaches to generic programming

Re: [Haskell] Compiling wxHaskell from source?

I cannot build it on Mac OSX either. I think it has to do with GCC 4.x. I managed to build wxHaskell on Mac OSX 10.4. Make sure to have the latest XCode, but also make sure you use gcc 3.3 instead of gcc 4.?. You can reset gcc by means of gcc_select. -- Johan

[Haskell] Haskell Workshop Steering Committee

. I'm pleased to announce the Haskell Workshop Steering Committee, which has been approved by ACM SIGPLAN. You can find more information about the Haskell Workshop and its Steering Committee on http://www.haskell.org/haskell-workshop/ -- Johan Jeuring

Re: [Haskell-cafe] functional programming school

for organizers will be posted in the next couple of months. -- Johan Jeuring ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell] Memo function help

in LNCS) or Ralf Hinze. Memo functions, polytypically!. In Johan Jeuring, editor, Proceedings of the Second Workshop on Generic Programming, WGP 2000, Ponte de Lima, Portugal, 6th July 2000, see http://www.cs.uu.nl/~johanj/wgp2000/wgp2000cfp.html#Programme Cheers, Johan

Re: [Haskell-cafe] Passing types as arguments

We pass values as proxies for types extensively in the Scrap your boilerplate scheme. The paper is on my home page. The 'typeOf' function is a good example. Passing types as arguments to functions is the main idea behind generic programming, intentional programming, polytypic programming, etc.

Re: [Haskell] HaXml and XML Schema

., it is not confined to the deepest subelement). We have worked on a XML Schema Haskell data binding, see Frank Atanassow, Dave Clarke, and Johan Jeuring. Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003, 2003. and for just the data

Re: sequencing data structures

). So how to go about it? Using DrIFT? Template Haskell? [Shameless plug]: This is typically the kind of thing Generic Haskell was designed for: http://www.generic-haskell.org/ For more information you can also consult your local Generic Programming expert Patrik Jansson. -- Johan Jeuring

Call for organizers: The 5th Advanced Functional Programming School, 2004

submit your proposal, but there should be sufficient information to review your proposal. Your proposal will be reviewed by the steering committee of the Advanced Functional Programming Schools, consisting of Pedro Henriques Graham Hutton Johan Jeuring Erik Meijer Greg Morrisett Chris Okasaki Simon

Re: Scrap your Boilerplate

Does the zipper fall into this category? http://haskell.org/wiki/wiki?TheZipper The zipper is a type-indexed data type, not just a type-indexed function. See: R. Hinze, J. Jeuring and A Löh. Type-indexed data types. In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the 6th

Haskell Workshop 2003

to describe a program! * Submissions * Authors should submit papers in postscript format, formatted for A4 paper, to Johan Jeuring [EMAIL PROTECTED] by 22th May 2003. The length should be restricted to the equivalent of 5000 words (which

The future of Haskell discussion at the Haskell workshop, Oct 3, 2002

unsafe extensions are used now is in sight, people will try to develop it. Another suggestion was to develop methods for separation of threads so that you can reason locally about threads. -- Johan Jeuring ___ Haskell mailing list [EMAIL PROTECTED] http

Register before July 12: Advanced Functional Programming Summer School

Last registration date July 12. About 10 places left. -- Johan Jeuring Summer School and Workshop on Advanced Functional Programming St Anne's College, Oxford, UK 19th to 24th August 2002 http://www.functional-programming.org/afp/afp4

Re: Fixed point of n-mutually recursive functors

-Verlag, LNCS 1608, 150-206,1999. -- Johan Jeuring ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: a universal printer for Haskell?

My point is that there are some things that can't easily be expressed in current Haskell (like generic printing) that are useful and might be aided by meta-programming technology. The interesting question is can it be done in a way that preserves whatever we want from the type system:

Re: a universal printer for Haskell?

You don't need meta-programming technology (reflection) to do things like generic prinitng. A generic programming extension of Haskell (like Generic Haskell, or derivable classes) can do the job for you. Isn't generic programming usually based on a kind of compile-time reflection (if the

Summer School on Generic Programming

of Leicester): Categories and Types * Jose Luiz Fiadeiro (University of Lisbon and ATX Software): Theory and Practice of Software Architecture * Ralf Hinze (University of Bonn) and Johan Jeuring (University of Utrecht): Generic Haskell * Martin Odersky (Ecole Polytechnique Federale

Summer School on Advanced Functional Programming

For late registration: 12th July 2002 Organizers Johan Jeuring (Utrecht University) Simon Peyton Jones (Microsoft Research) Further information Web:http://www.functional-programming.org/afp/afp4/info.html

Working Conference on Generic Programming, 2nd call for papers

Matt Austern Eerke Boiten Ulrich Eisenecker Jeremy Gibbons (co-chair) Ralf Hinze Johan Jeuring (co-chair) Gary Leavens Karl Lieberherr Lambert Meertens Eugenio Moggi Bernhard Moeller Oege de Moor David Musser Martin Odersky Ross Paterson Simon Peyton Jones Colin Runciman Doaitse Swierstra

Working Conference on Generic Programming: first call for papers

Matt Austern Eerke Boiten Ulrich Eisenecker Jeremy Gibbons (co-chair) Ralf Hinze Johan Jeuring (co-chair) Gary Leavens Karl Lieberherr Lambert Meertens Eugenio Moggi Bernhard Moeller Oege de Moor David Musser Martin Odersky Ross Paterson Simon Peyton Jones Colin Runciman Doaitse Swierstra

Re: Summer School on Functional Programming?

nothing has been decided yet. I will try to start up something (which doesn't mean I will organise it!) soon. -- Johan Jeuring ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe

RE: Learning Haskell and FP

Hallgren, 925, Peyton Jones Finne 1129 etc. Johan Jeuring http://www.cs.uu.nl/~johanj/ ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Re: Learning Haskell and FP

s, monadic catamorphisms, constructor classes, etc. -- Johan Jeuring ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Call for papers: Haskell Workshop 2001

CALL FOR PAPERS 2001 Haskell Workshop Firenze, Italy The Haskell Workshop forms part of the PLI 2001 colloquium

Job opening at Utrecht: Generic Haskell

Send your application on or before October 6, 2000 either by email or on paper to: Johan Jeuring, Department of Computer Science, Utrecht University, P.O.Box 80.089, NL-3508 TB Utrecht, The Netherlands, email: [EMAIL PROTECTED] Contact: For information, please contact Johan Jeuring ([EMAIL PROTECT

Re: The type of zip

rogramming - An Introduction -. In S.Doaitse Swierstra, Pedro R. Henriques and Jose N. Oliveira, editors, Advanced Functional Programming, LNCS 1608, pages 28--115, Springer-Verlag, 1999. also available via my publications page. -- Johan Jeuring

RE: deriving Functor

Is anyone else working on Generic Haskell. Yes, I have an MSc student (Jan de Wit) who will work on Generic Haskell, and I expect more people will start working on it in Utrecht later this year. Johan

Call for 10 minute slots: Workshop on Generic Programming 2000

. Submit your proposal for such a 10 minute slot on at most half a page to [EMAIL PROTECTED], on or before May 31, 2000. Johan Jeuring Department of Computer Science Utrecht University P.O.Box 80.089

RE: Haskell Wish list: library documentation

and/or mutual recursive datatypes). Recent work by Hinze gives a nice solution to our problems, and Hinze and I agreed to implement the ideas. So hopefully we will have a precise design + implementation of polytypic/generic programming in a not too distant future. -- Johan Jeuring

Call for papers: Workshop on Generic Programming 2000

programming (proceedings) was held on Marstrand, Sweden, in 1998. Submission Papers (preferably short, no more than 15 pages) should be submitted in Postscript format by e-mail to reach Johan Jeuring by March 20, 2000. Accepted papers will be published in the proceedings

2nd cfp: Workshop on Generic Programming 98

: Roland Backhouse (Cochair), Netherlands Tim Sheard (Cochair), USA Robin Cockett, Canada Barry Jay, Australia Johan Jeuring, Sweden Karl Lieberherr, USA Oege de Moor, UK Bernhard Moeller, Germany Jose Oliveira

cfp: Workshop on generic programming, WGP'98

Johan Jeuring Oege de Moor Bernhard Moeller Jose Oliveira Barry Jay Robin Cocket who is director of the Charity Project Karl Lieberherr Fritz Ruehr

last cfp MPC'98: Mathematics of Program Construction

. SUBMISSION Full papers should be submitted in Postscript format by e-mail to reach Johan Jeuring by December 15, 1997. The details of the submission procedure can be found at http://www.md.chalmers.se/Conf/MPC98/how_to_submit.html Although there is no page limit

cfp: Mathematics of Program Construction '98

. SUBMISSION Full papers should be submitted in Postscript format by e-mail to reach Johan Jeuring by December 15, 1997. The details of the submission procedure can be found at http://www.md.chalmers.se/Conf/MPC98/how_to_submit.html Although there is no page limit, submissions

PhD-student positions

The Department of Computing Science at the Chalmers University of Technology and Goteborgs University announces free PhD positions. The major research topics at the department are programming logic and type theory, functional programming, cognition technology, and algorithms and discrete

Postdoctoral fellowships

The Department of Computing Science at the Chalmers University of Technology and G=F6teborgs University announces two postdoctoral fellow positions. The Department of Computing Science has about 30 staff members and about 25 PhD students. The department receives funding from Esprit, and from