Re: Polymorphic recursion

but how did you implement it? As far as I know, the problem of type inference with polymorphic recursion is undecidable due to the undecidability of the semi-unification problem. --- Michael Hanus Informatik II eMail: [EMAIL PROTECTED], [EMAIL PROTECTED] RWTH Aachen Phone: +49-241

Haskell98 expression syntax

mode). Is this a bug/feature of these systems or is there something wrong with the grammar in the report? Michael --- Michael Hanus Informatik II eMail: [EMAIL PROTECTED], [EMAIL PROTECTED] RWTH Aachen Phone: +49-241/80-21230 D-52056 Aachen Fax: +49-241/-217 Germany

Open Position in Programming Language Research

. Dr. Michael Hanus Institut fuer Informatik und Praktische Mathematik Technische Fakultaet der Christian-Albrechts-Universitaet zu Kiel Olshausenstr. 40 D-24098 Kiel, Germany Email: [EMAIL PROTECTED] URL: http://www.informatik.uni-kiel.de/~mh/ Further links: Official version

[Haskell] CfP: Curry and Functional Logic Programming 2005

: September 29, 2005 -- PROGRAM COMMITTEE Sergio Antoy (Portland State University, co-chair) Olaf Chitil (University of Kent) Rachid Echahed (IMAG, Grenoble) Moreno Falaschi (University of Siena) Michael Hanus (CAU Kiel, co-chair

[Haskell] Curry and Functional Logic Programming 2005 (2nd CfP)

: September 29, 2005 -- PROGRAM COMMITTEE Sergio Antoy (Portland State University, co-chair) Olaf Chitil (University of Kent) Rachid Echahed (IMAG, Grenoble) Moreno Falaschi (University of Siena) Michael Hanus (CAU Kiel, co-chair

[Haskell] WCFLP 2005: Call for Participation

Programming over Sets of Spatial Objects 14.30: Michael Hanus: A Generic Analysis Environment for Declarative Programs 15.00: J. Guadalupe Ramos, Josep Silva and German Vidal: An Offline Partial Evaluator for Curry Programs 15.30: Sebastian Fischer: A Functional Logic Database

[Haskell] CfP: LOPSTR 2008

, Belgium Wlodek Drabent Polish Academy of Sciences, Poland / Linkoeping Univ., Sweden Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany (Chair) Patricia Hill University of Leeds, UK Andy King University of Kent, UK Michael

[Haskell] Final CfP: LOPSTR 2008

, Belgium Wlodek Drabent Polish Academy of Sciences, Poland / Linkoeping Univ., Sweden Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany (Chair) Patricia Hill University of Leeds, UK Andy King University of Kent, UK Michael

[Haskell] CfP: FDPE 2008

conference web site (http://www.icfpconference.org/) Program Committee - * John Clements, California Polytechnic State University, United States * Matthew Flatt, University of Utah, United States * Michael Hanus, University of Kiel, Germany * Frank Huch, University

[Haskell] FDPE 2008 -- Deadline extension

Please note that the deadline for the Workshop on Functional and Declarative Programming in Education (FDPE08) which will be held in conjunction with ICFP 2008 on Sunday, September 21, 2008 in Victoria, British Columbia, Canada is extended to Sunday, June 29, 2008. Beside regular papers

[Haskell] CfP: PPDP 2011

Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene

[Haskell] CfP: PPDP 2011

Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene

[Haskell] Call for Participation: PPDP 2011

== CALL FOR PARTICIPATION PPDP 2011 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

[Haskell] Call for Papers: WFLP/WLP 2013

Universita di Siena, Italy Sebastian Fischer Kiel, Germany Thom Fruehwirth University of Ulm, Germany Michael Hanus University of Kiel, Germany (Chair) Oleg Kiselyov Monterey (CA), USA Herbert Kuchen University of Muenster, Germany Francisco J

[Haskell] Call for Papers: WFLP/WLP 2013

of Clausthal, Germany Rachid Echahed CNRS, University of Grenoble, France Moreno Falaschi Universita di Siena, Italy Sebastian Fischer Kiel, Germany Thom Fruehwirth University of Ulm, Germany Michael Hanus University of Kiel, Germany (Chair) Oleg

[Haskell] Call for Papers: Kiel Declarative Programming Days 2013

== CALL FOR PAPERS Kiel Declarative Programming Days 2013 September 11-13, 2013 http://www-ps.informatik.uni-kiel.de/kdpd2013/ The Kiel Declarative

[Haskell] Call for Participation: Kiel Declarative Programming Days 2013

Diaz and Salvador Abreu: Towards Parallel Constraint-Based Local Search with the X10 Language -- CONTACT Prof. Michael Hanus Institut fuer Informatik Christian-Albrechts-Universitaet zu Kiel D-24098 Kiel, Germany

[Haskell] RTA 2015 - First Call For Papers

== RTA 2015 - CALL FOR PAPERS 26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS 29 June - 1 July, 2015, Warsaw, Poland co-located with TLCA, as part of RDP 2015

[Haskell] 2nd Call for Papers: WFLP/WLP 2017

University of Kent, UK Juergen Dix Clausthal University of Technology, Germany Moreno Falaschi Universita di Siena, Italy Michael Hanus University of Kiel, Germany (Chair) Sebastiaan Joosten University of Innsbruck, Austria Oleg Kiselyov Tohoku University, Japan Herbert

[Haskell] Call for Papers: WFLP/WLP 2017

, Italy Michael Hanus University of Kiel, Germany (Chair) Sebastian Joosten University of Innsbruck, Austria Oleg Kiselyov Tohoku University, Japan Herbert Kuchen University of Muenster, Germany Dietmar Seipel University of Wuerzburg, Germany Tom Schrijvers KU Leuven, Belgium

[Haskell] WFLP 2018: Second Call for Papers

Committee + Slim Abdennadher, German University in Cairo, Egypt + Maria Alpuente, Universitat Politècnica de València, Spain + Sergio Antoy, Portland State University, USA + Olaf Chitil, University of Kent, UK + Maria del Mar Gallardo, Universidad de Málaga, Spain + Michael Hanus, University

[Haskell] LOPSTR 2020 - First CFP

, University of Texas at Dallas, US Michael Hanus, Kiel University, Germany Delia Kesner, Université de Paris, France Andy King, University of Kent, UK Temur Kutsia, RISC J. Kepler University of Linz, Austria Giselle Reis, Carnegie Mellon University, Qatar Masahito Sakai, Nagoya University, Japan René

[Haskell] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)

reno Falaschi (Università di Siena, Italy) Michael Hanus (University of Kiel, Germany) (Co-Chair) Herbert Kuchen (University of Muenster, Germany) Dale Miller (INRIA and LIX/Ècole Polytechnique) Claudio Sacerdoti Coen (University of Bologna, Italy) (Co-Chair) Konstantinos Sagonas (Uppsala Univer

[Haskell] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP)

CALL FOR PARTICIPATION: BOPL 2020 Bologna Federated Conference on Programming Languages September 7-10, 2020 Online at https://bopl.cs.unibo.it Registration deadline: September 3, 2020 Registration fee: 30 euros. The Bologna Federated Conference on Programming Languages brings together four

[Haskell] WFLP 2020: 2nd CFP and Extended Deadlines

ted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee Sergio Antoy (Portland State University, USA) Demis Ballis (University of Udine, Italy) Moreno Falaschi (Università di Siena, Italy) Mic

[Haskell] Preliminary Call for Papers: FLOPS 2022

agen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Shin-Cheng Mu Academia Sinica, Taiwan Koko MuroyaKyoto University, Japan Ricardo Rocha

[Haskell] Call for Papers: FLOPS 2022

iniUMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto HamanaGunma University, Japan Michael HanusKiel University (co-chair) Zhenjiang Hu Peking Unive

[Haskell] 2nd Call for Papers: FLOPS 2022

a, USA Matteo CiminiUMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto HamanaGunma University, Japan Michael HanusKiel University (co-chair) Zhenjiang Hu Peki

[Haskell] 2nd Call for Papers: PADL 2023

by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2023 PC Co-Chairs -- - Michael Hanus, Kiel University, Germany - Daniela Inclezan, Miami University, United States Programme Committee --- Andreas Abel

[Haskell] PADL 2023: Final Call for Papers (with updated deadlines!)

PC Co-Chairs -- - Michael Hanus, Kiel University, Germany - Daniela Inclezan, Miami University, United States Programme Committee --- Andreas Abel Gothenburg University, Sweden Annette Bieniusa TU Kaiserslautern, Germany Joachim Breitner

[Haskell] 1st Call for Papers: PADL 2023

by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2023 PC Co-Chairs -- - Michael Hanus, Kiel University, Germany - Daniela Inclezan, Miami University, United States Programme Committee --- Andreas Abel

Re: [Haskell-cafe] Code Review: Sudoku solver

Jared Updike wrote: On 3/22/06, David F. Place [EMAIL PROTECTED] wrote: ... It solves sudoku puzzles. (What pleasure do people get by doing these in their heads?!?) They are probably asking the same question: why take hours to write a program to do it when with my mad sudoku solving