[Haskell] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the first and final call for participation for IFL 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL
===

IFL 2020

32nd Symposium on Implementation and Application of Functional
 Languages

   Call for Participation


  venue: online
 2nd - 4th September 2020

https://www.cs.kent.ac.uk/events/2020/ifl20/



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2020 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.


### Registration

The symposium will be run via Zoom (zoom.us). If you can use Zoom, then you
can participate.
Please register for free via Eventbrite on the symposium webpage:
https://www.cs.kent.ac.uk/events/2020/ifl20/


### Programme

Day 1: Wednesday, 2 September

12:45 Welcome
13:00 Nico Naus and Johan Jeuring: End-user feedback in multi-user workflow
systems
13:30 Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer:
Asynchronous Shared Data Sources
14:00 Pieter Koopman, Steffen Michels and Rinus Plasmeijer: Dynamic Editors
for Well-Typed Expressions
14:30 Bas Lijnse and Rinus Plasmeijer: Asymmetric Composable Web Editors in
iTasks
15:00 Social break
15:30 Sven-Olof Nyström: A subtyping system for Erlang
16:00 Andrew Marmaduke, Christopher Jenkins and Aaron Stump: Generic
Zero-Cost Constructor Subtyping
16:30 Joris Burgers, Jurriaan Hage and Alejandro Serrano: Heuristics-based
Type Error Diagnosis for Haskell - The case of GADTs and local reasoning
17:00 Social break
17:30 Kavon Farvardin and John Reppy: A New Backend for Standard ML of New
Jersey
18:00 Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni and
Ryan R. Newton: A Compiler Approach Reconciling Parallelism and Dense
Representations for Irregular Trees
18:30 Hans-Nikolai Vießmann and Sven-Bodo Scholz: Effective Host-GPU Memory
Mangement Through Code Generation
20:00 Virtual Pub


Day 2: Thursday, 3 September

10:00 Virtual Breakfast
13:00 Michal Gajda: Less Arbitrary waiting time
13:30 Sólrún Halla Einarsdóttir and Nicholas Smallbone: Template-based
Theory Exploration: Discovering Properties of Functional Programs by Testing
14:00 Péter Bereczky, Dániel Horpácsi, Judit Kőszegi, Soma Szeier and Simon
Thompson: Validating Formal Semantics by Comparative Testing
14:30 Social break
15:00 Gergo Erdi: An Adventure in Symbolic Execution
15:30 Joshua M. Schappel, Sachin Mahashabde and Marco T. Morazan: Using OO
Design Patterns in a Functional Programming Setting
16:00 Filipe Varjão: Functional Programming and Interval Arithmetic with
High Accuracy
16:30 Social break
17:00 Laith Sakka, Chaitanya Koparkar, Michael Vollmer, Vidush Singhal, Sam
Tobin-Hochstadt, Ryan R. Newton and Milind Kulkarni: General Deforestation
Using Fusion, Tupling and Intensive Redundancy Analysis
17:30 Benjamin Mourad and Matteo Cimini: A Declarative Gradualizer with
Lang-n-Change
18:00 Maheen Riaz Contractor and Matthew Fluet: Type- and Control-Flow
Directed Defunctionalization
19:30 Virtual Pub


Day 3: Friday, 4 September

10:00 Virtual Breakfast
13:00 Michal Gajda: Towards a more perfect union type
13:30 Folkert de Vries, Sjaak Smetsers and Sven-Bodo Scholz: Container
Unification for Uniqueness Types
14:00 Alejandro Díaz-Caro, Pablo E. Martínez López and Cristian Sottile:
Polymorphic System I
14:30 Social break
15:00 Michal Gajda: Schema-driven mutation of datatype with multiple
representations
15:30 Alexandre Garcia de Oliveira, Mauro Jaskelioff and Ana Cristina
Vieira de Melo: On Structuring Pure Functional Programs with Monoidal
Profunctors
16:00 Sara Moreira, Pedro Vasconcelos and Mário Florido: Resource Analysis
for Lazy Evaluation with Polynomial Potential
16:30 Social break
17:00 Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal,
Hannes Siebenhandl, Matthew Pickering and Alan Zimmerman: Building an
Integrated Development Environment (IDE) on top of a Build System
17:30 Evan Sitt, Xiaotian Su, Beka Grdzelishvili, Zurab Tsinadze, Zongpu
Xie, Hossameldin Abdin, Giorgi Botkoveli, Nikola Cenikj, Tringa Sylaj and
Viktoria Zsok: Functional Programming Application for Digital Synthesis
Implementation
18:00 Jocelyn Serot: HoCL: High level specification of dataflow graphs
19:30 Virtual Pub

All times are in British Summer Time (BST), the local time in Canterbury,
UK. So please translate these into your own time zone, using a service

[Haskell] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the third call for draft papers for IFL 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL



IFL 2020

32nd Symposium on Implementation and Application of Functional Languages


  venue: online
 2nd - 4th September 2020

 https://www.cs.kent.ac.uk/events/2020/ifl20/



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2020 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Post-symposium peer-review

Following IFL tradition, IFL 2020 will use a post-symposium review process
to
produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will
be
screened by the program chair to make sure that they are within the scope
of
IFL. The draft papers will be made available to all participants at the
symposium. Each draft paper is presented by one of the authors at the
symposium.

After the symposium every presenter is invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to
IFL
may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty,
originality, relevance, significance, and clarity, and will thereby
determine whether the
paper is accepted or rejected for the formal proceedings. We plan to
publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.


### Important dates

Submission deadline of draft papers:   17 August 2020
Notification of acceptance for presentation:   19 August 2020
Registration deadline: 31 August 2020
IFL Symposium: 2-4 September 2020
Submission of papers for proceedings:  7 December 2020
Notification of acceptance:3 February 2021
Camera-ready version:  15 March 2021


### Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:

  http://www.acm.org/publications/proceedings-template


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


### Programme committee

Kenichi Asai, Ochanomizu University, Japan
Olaf Chitil, University of Kent, United Kingdom (chair)
Martin Erwig, Oregon State University,United States
Daniel Horpacsi, Eotvos Lorand University, Hungary
Zhenjiang Hu, Peking University, China
Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom
Neil Mitchell, Facebook, UK
Marco T. Morazan, Seton Hall University, United States
Rinus Plasmeijer, Radboud University, Netherlands
Colin Runciman, University of York, United Kingdom
Mary Sheeran, Chalmers University of Technology, Sweden
Josep Silva, Universitat Politecnica de Valencia, Spain
Jurrien Stutterheim, Standard Chartered, Singapore
Josef Svenningsson, Facebook, UK
Peter Thiemann, University of Freiburg, Germany
Kanae Tsushima, National Institute of Informatics, Japan.
Marcos Viera, Universidad de la Republica, Montevideo, Uruguay
Janis Voigtlander, University of Duisburg-Essen, Germany

### Virtual symposium

Because of the Covid-19 pandemic, this year IFL 2020

[Haskell] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the second call for draft papers for IFL 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL



IFL 2020

32nd Symposium on Implementation and Application of Functional Languages


  venue: online
 2nd - 4th September 2020

 https://www.cs.kent.ac.uk/events/2020/ifl20/



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2020 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Post-symposium peer-review

Following IFL tradition, IFL 2020 will use a post-symposium review process
to
produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will
be
screened by the program chair to make sure that they are within the scope
of
IFL. The draft papers will be made available to all participants at the
symposium. Each draft paper is presented by one of the authors at the
symposium.

After the symposium every presenter is invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to
IFL
may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty,
originality, relevance, significance, and clarity, and will thereby
determine whether the
paper is accepted or rejected for the formal proceedings. We plan to
publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.


### Important dates

Submission deadline of draft papers:   17 August 2020
Notification of acceptance for presentation:   19 August 2020
Registration deadline: 31 August 2020
IFL Symposium: 2-4 September 2020
Submission of papers for proceedings:  7 December 2020
Notification of acceptance:3 February 2021
Camera-ready version:  15 March 2021


### Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:

  http://www.acm.org/publications/proceedings-template


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


### Programme committee

Kenichi Asai, Ochanomizu University, Japan
Olaf Chitil, University of Kent, United Kingdom (chair)
Martin Erwig, Oregon State University,United States
Daniel Horpacsi, Eotvos Lorand University, Hungary
Zhenjiang Hu, Peking University, China
Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom
Neil Mitchell, Facebook, UK
Marco T. Morazan, Seton Hall University, United States
Rinus Plasmeijer, Radboud University, Netherlands
Colin Runciman, University of York, United Kingdom
Mary Sheeran, Chalmers University of Technology, Sweden
Josep Silva, Universitat Politecnica de Valencia, Spain
Jurrien Stutterheim, Standard Chartered, Singapore
Josef Svenningsson, Facebook, UK
Peter Thiemann, University of Freiburg, Germany
Kanae Tsushima, National Institute of Informatics, Japan.
Marcos Viera, Universidad de la Republica, Montevideo, Uruguay
Janis Voigtlander, University of Duisburg-Essen, Germany

### Virtual symposium

Because of the Covid-19 pandemic, this year IFL 2020

[Haskell] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the final call for draft papers for IFL 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL



   IFL 2020

32nd Symposium on Implementation and Application of Functional Languages


   venue: online
   2nd - 4th September 2020

 https://www.cs.kent.ac.uk/events/2020/ifl20/



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2020 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Post-symposium peer-review

Following IFL tradition, IFL 2020 will use a post-symposium review process
to
produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will
be
screened by the program chair to make sure that they are within the scope
of
IFL. The draft papers will be made available to all participants at the
symposium. Each draft paper is presented by one of the authors at the
symposium.

After the symposium every presenter is invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to
IFL
may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty,
originality,
relevance, significance, and clarity, and will thereby determine whether
the
paper is accepted or rejected for the formal proceedings. We plan to
publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.


### Important dates

Submission deadline of draft papers:   17 August 2020
Notification of acceptance for presentation:   19 August 2020
Registration deadline: 31 August 2020
IFL Symposium: 2-4 September 2020
Submission of papers for proceedings:  7 December 2020
Notification of acceptance:3 February 2021
Camera-ready version:  15 March 2021


### Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:

  http://www.acm.org/publications/proceedings-template


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


### Organisation

IFL 2020 Chair: Olaf Chitil, University of Kent, UK

IFL Publicity chair: Jurriaan Hage, Utrecht University, The Netherlands

### Virtual symposium

Because of the Covid-19 pandemic, this year IFL 2020 will be an online
event,
consisting of paper presentations, discussions and virtual social
gatherings.
Registered participants can take part from anywhere in the world.


### Acknowledgments

This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organisers for their work, which
is reused here.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

[Jurriaan Hage]

Hello,

Please, find below the third call for draft papers for TFPIE 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Chair of TFPIE 2020




TFPIE 2020 Call for papers


http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html

February 12th 2020, Krakow, Poland
(co-located with TFP 2020 and Lambda Days)


*NEW* Invited Speaker

We are happy to announce the invited speaker for TFPIE 2020, Thorsten
Altenkirch, who also speaks at Lambda Days. At TFPIE 2020 he shall be
talking
about his new book, Conceptual Programming With Python.

*NEW* Registration

This year TFPIE takes place outside of the Lambda Days/TFP organisation,
although it takes place near their location. This means you do need to
register
separately for TFPIE; it also means you can register for TFPIE without
registering for TFP/LambdaDays, and vice versa.

Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE
may be
submitted to the post-reviewing process. Registration is 25 euro per
person.


TFPIE 2020 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. What's
your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture
topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages)
or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on
the
workshop's website. Papers and abstracts can be submitted via easychair at
the
following link: https://easychair.org/conferences/?conf=tfpie2020 . After
the
workshop, presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science
(EPTCS).
Articles rejected for presentation and extended abstracts will not be
formally
reviewed by the PC.

Dates
  Submission deadline: January 14th 2020, Anywhere on Earth.
  Notification: January 17th 2020
  TFPIE Registration Deadline: January 20th 2020
  Workshop: February 12th 2020
  Submission for formal review: April 19th 2020, Anywhere on Earth.
  Notification of full article: June 6th 2020
  Camera ready: July 1st 2020

Program Committee
  Olaf Chitil - University of Kent
  Youyou Cong - Tokyo Institute of Technology
  Marko van Eekelen - Open University of the Netherlands and Radboud
University Nijmegen
  Jurriaan Hage (Chair) - Utrecht University
  Marco T. Morazan - Seton Hall University, USA
  Sharon Tuttle - Humboldt State University, USA
  Janis Voigtlaender - University of Duisburg-Essen
  Viktoria Zsok - Eotvos Lorand University

Note: information on TFP is available at
http://www.cse.chalmers.se/~rjmh/tfp/
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

[Jurriaan Hage]

Hello,

Please, find below the second call for draft papers for TFPIE 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Chair of TFPIE 2020





TFPIE 2020 Call for papers


http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html

February 12th 2020, Krakow, Poland
(co-located with TFP 2020 and Lambda Days)

TFPIE 2020 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. What's
your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture
topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages)
or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on
the
workshop's website. Papers and abstracts can be submitted via easychair at
the
following link: https://easychair.org/conferences/?conf=tfpie2020 . After
the
workshop, presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science
(EPTCS).
Articles rejected for presentation and extended abstracts will not be
formally
reviewed by the PC.

Dates
  Submission deadline: January 14th 2020, Anywhere on Earth.
  Notification: January 17th 2020
  TFPIE Registration Deadline: January 20th 2020
  Workshop: February 12th 2020
  Submission for formal review: April 19th 2020, Anywhere on Earth.
  Notification of full article: June 6th 2020
  Camera ready: July 1st 2020

Program Committee
  Olaf Chitil - University of Kent
  Youyou Cong - Tokyo Institute of Technology
  Marko van Eekelen - Open University of the Netherlands and Radboud
University Nijmegen
  Jurriaan Hage (Chair) - Utrecht University
  Marco T. Morazan - Seton Hall University, USA
  Sharon Tuttle - Humboldt State University, USA
  Janis Voigtlaender - University of Duisburg-Essen
  Viktoria Zsok - Eotvos Lorand University

Note: information on TFP is available at
http://www.cse.chalmers.se/~rjmh/tfp/
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

[Jurriaan Hage]

Hello,

Please, find below the final call for draft papers for TFPIE 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Chair of TFPIE 2020





TFPIE 2020 Call for papers


http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html

February 12th 2020, Krakow, Poland
(co-located with TFP 2020 and Lambda Days)

TFPIE 2020 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:

  FP and beginning CS students
  FP and Computational Thinking
  FP and Artificial Intelligence
  FP in Robotics
  FP and Music
  Advanced FP for undergraduates
  FP in graduate education
  Engaging students in research using FP
  FP in Programming Languages
  FP in the high school curriculum
  FP as a stepping stone to other CS topics
  FP and Philosophy
  The pedagogy of teaching FP
  FP and e-learning: MOOCs, automated assessment etc.
  Best Lectures - more details below

In addition to papers, we are requesting best lecture presentations. What's
your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture
topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.

Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages)
or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on
the
workshop's website. Papers and abstracts can be submitted via easychair at
the
following link: https://easychair.org/conferences/?conf=tfpie2020 . After
the
workshop, presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science
(EPTCS).
Articles rejected for presentation and extended abstracts will not be
formally
reviewed by the PC.

Dates
  Submission deadline: January 14th 2020, Anywhere on Earth.
  Notification: January 17th 2020
  TFPIE Registration Deadline: January 20th 2020
  Workshop: February 12th 2020
  Submission for formal review: April 19th 2020, Anywhere on Earth.
  Notification of full article: June 6th 2020
  Camera ready: July 1st 2020

Program Committee
  Olaf Chitil - University of Kent
  Youyou Cong - Tokyo Institute of Technology
  Marko van Eekelen - Open University of the Netherlands and Radboud
University Nijmegen
  Jurriaan Hage (Chair) - Utrecht University
  Marco T. Morazan - Seton Hall University, USA
  Sharon Tuttle - Humboldt State University, USA
  Janis Voigtlaender - University of Duisburg-Essen
  Viktoria Zsok - Eotvos Lorand University

Note: information on TFP is available at
http://www.cse.chalmers.se/~rjmh/tfp/
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] First call for participation for IFL 2019 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the first call for participation for IFL 2019.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL



IFL 2019

31st Symposium on Implementation and Application of Functional Languages


National University of Singapore
September 25th-27th, 2019

  http://2019.iflconference.org



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speaker

* Olivier Danvy, Yale-NUS College


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2019.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   June 15, 2019
Submission of draft papers: August1, 2019
Regular papers notification:August1, 2019
Regular draft papers notification:  August7, 2019
Deadline for early registration:August   31, 2019
Submission of pre-proceedings version:  September15

[Haskell] Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the final call for draft papers for IFL 2019.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL



IFL 2019

31st Symposium on Implementation and Application of Functional Languages


National University of Singapore
September 25th-27th, 2019

  http://2019.iflconference.org



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speaker

* Olivier Danvy, Yale-NUS College


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2019.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   June 15, 2019
Submission of draft papers: August1, 2019
Regular papers notification:August1, 2019
Regular draft papers notification:  August7, 2019
Deadline for early registration:August   15, 2019
Submission of pre-proceedings version:  September15

[Haskell] Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the call for papers for IFL 2019. With respect to the
previous call,
the deadline for submitting regular papers has been changed to June 15th.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---



IFL 2019

31st Symposium on Implementation and Application of Functional Languages


National University of Singapore
September 25th-27th, 2019

  http://2019.iflconference.org



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speaker

* Olivier Danvy, Yale-NUS College


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2019.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   June 15, 2019
Submission of draft papers: July 15, 2019
Regular and draft papers notification:  August1, 2019
Deadline for early registration:August   15, 2019
Submission of pre-proceedings version

[Haskell] Call for papers for IFL 2019 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the call for papers for IFL 2019.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---



IFL 2019

31st Symposium on Implementation and Application of Functional Languages


National University of Singapore
September 25th-27th, 2019

  http://2019.iflconference.org



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speaker

* Olivier Danvy, Yale-NUS College


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2019.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   May  31, 2019
Submission of draft papers: July 15, 2019
Regular and draft papers notification:  August1, 2019
Deadline for early registration:August   15, 2019
Submission of pre-proceedings version:  September15, 2019
IFL Symposium:  September 25-27, 2019

Helium II

[Jurriaan Hage]

Dear all,

We’ve been active since September making the Helium compiler more Haskell 2010 
compliant.
In particular, we have a branch with support for Haskell 2010 type classes, a 
branch that
supports import/export following the standard, and a branch that compiles to 
LLVM instead 
of the `old’ Helium-specific LVM that has become harder and harder to maintain.
These still need to be integrated. When I find time for that is hard to say.

Another project will be taking place in the period Feb-Apr and I expect we can 
tie up a lot of 
loose ends then. Current loose ends include newtype, record syntax, integration 
of previous projects, 
Cabal support, Quickcheck, strict data fields, improving the LLVM back-end.

One thing I have wondered about: do we actually have something like an 
extensive set of tests
to throw at any Haskell 2010 compliant compiler that would help find mistakes 
on our parr?
My students have come up with a range of examples to test their 
implementations, but there
is nothing like a set of programs you’ve never seen or heard about.

We shall also be adding support for GADTs as part of a reseach project this 
course year. Again, a large range
of examples would be welcome indeed.

best,
Jur

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Re: A question about run-time errors when class members are undefined

[Jurriaan Hage]

Hi Anthony,

We first go the slavish route, to provide a basis for changing things later. 

So I am not looking for alternative ways of doing this, I am just wondering 
whether there is a rationale for doing things this way.
The document does not give one. 

And now I hear that records suffer from the same issue (thanks Cale). We had 
not run into this yet, because right now
Helium does not have ‘em. Both sound fishy to me and if nobody can make a case 
for having things this way
in the first place, I wonder why it’s like that.

Adding associated types is a long way off, or any such language extensions is 
at this point. 
The only one I might consider at this time is GADTs, but only if I find a 
master student to investigate type error diagnosis
in that setting. 

Jur

> On 4Oct, 2018, at 03:55, Anthony Clayden  wrote:
> 
> > We are adding classes and instances to Helium.
> > We wondered about the aspect that it is allowed to have a class instance
> > of which not all fields have a piece of code/value associated with them, ...
> 
> I have a suggestion for that. But first let me understand where you're going 
> with Helium. Are you aiming to slavishly reproduce Haskell's 
> classes/instances, or is this a chance for a rethink?
> 
> Will you want to include associated types and associated datatypes in the 
> classes? Note those are just syntactic sugar for top-level type families and 
> data families. It does aid readability to put them within the class.
> 
> I would certainly rethink the current grouping of methods into classes. 
> Number purists have long wanted to split class Num into Additive vs 
> Multiplicative. (Additive would be a superclass of Multiplicative.) For the 
> Naturals perhaps we want Presburger arithmetic then Additive just contains 
> (+), with `negate` certainly in a different class, perhaps (-) subtract also 
> in a dedicated class. Also there's people wanting Monads with just `bind` not 
> `return`. But restructuring the Prelude classes/methods is just too hard with 
> all that legacy code. Even though you should be able to do:
> 
> class (Additive a, Subtractive a, Negative a, Multiplicative a, Divisive a) 
> => Num a
> 
> Note there's a lot of classes with a single method, and that seems to be an 
> increasing trend. Historically it wasn't so easy in Haskell to do that 
> superclass constraints business; if it had been perhaps there would be more 
> classes with a single method. Then there's some disadvantages to classes 
> holding multiple methods:
> * the need to provide an overloading for every method, even though it may not 
> make sense
>   (or suffer a run-time error, as you say)
> * the inability to 'fine tune' methods for a specific datatype [**]
> * an internal compiler/object code cost of passing a group of methods in a 
> dictionary as tuple
>   (as apposed to directly selecting a single method)
> 
> [**] Nats vs Integrals vs Fractionals for `Num`; and (this will be 
> controversial, but ...) Some people want to/some languages do use (+) for 
> concatenating Strings/lists. But the other methods in `Num` don't make any 
> sense.
> 
> If all your classes have a single method, the class name would seem to be 
> superfluous, and the class/instance decl syntax seems too verbose.
> 
> So here's a suggestion. I'll need to illustrate with some definite syntax, 
> but there's nothing necessary about it. (I'll borrow the Explicit Type 
> Application `@`.) To give an instance overloading for method `show` or (==)
> 
> show @Int = primShowInt -- in effect pattern matching on 
> the type
> (==) @Int = primEqInt   -- so see showList below
> That is: I'm giving an overloading for those methods on type `Int`. How do I 
> declare those methods are overloadable? In their signature:
> 
> show @a :: a -> String  -- compare show :: Show a => a -> 
> String
> (==) @a :: a -> a -> Bool
> Non-overladable functions don't have `@a` to the left of `::`.
> How do I show that a class has a superclass constraint? That is: a method has 
> a supermethod constraint, we'll still use `=>`:
> 
> show @a :: showsPrec @a => a -> String  -- supermethod constraint
> show @[a] :: show a => [a] -> String-- instance decl, because not 
> bare a, with constraint =>
> show @[a] xss = showList xss
> (*) @a :: (+) @a => a -> a -> a
> 
> Is this idea completely off the wall? Take a look at Wadler's original 1988 
> memo introducing what became type classes. 
> http://homepages.inf.ed.ac.uk/wadler/papers/class-letter/class-letter.txt
> 
> It reviews several possible designs, but not all those possibilities made it 
> into his paper (with Stephen Blott) later in 1988/January 1989. In particular 
> look at Section 1's 'Simple overloading'. It's what I'm suggesting above 
> (modulo a bit of syntax). At the end of Section 1, Wadler rejects this design 
> because of "potential blow-ups". But he should have pushed the idea a bit 
> further. Perhaps he 

A question about run-time errors when class members are undefined

[Jurriaan Hage]

Hello,

We are adding classes and instances to Helium.

We wondered about the aspect that it is allowed to have a class instance
of which not all fields have a piece of code/value associated with them, and 
that as a result when you happen to call these, a run-time error results.
(see Sec. 4.3.2 of the Haskell 2010 report).

Does anyone know of a rationale for this choice, since it seems rather 
unhaskell-like.

best,
Jur

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

[Haskell] First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the 1st call for participation for IFL 2018.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---


CALL FOR PARTICIPATION:


IFL
2018
30th Symposium on Implementation and Application of Functional
Languages


   University of Massachusetts Lowell, MA, USA
 September 5th-7th, 2018

http://iflconference.org


September 5th: Haskell Mini-Course by Galois, Inc, see details below.



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2018 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

### Keynote Speakers

* Adam Chlipala, Massachusetts Institute of Technology CSAIL
* Arjun Guha, University of Massachusetts Amherst

### Haskell Mini-Course (September 5th, 2018)

Mini-course on Haskell by Galois, Inc,
presented by David Thrane Christiansen and Jose Manuel Calderon Trilla.

Register: Attendance at the course is free, but you must RSVP.
(Link to RSVP form can be found at http://iflconference.org)

Course Description:

Recent versions of the GHC compiler for Haskell feature support for a
number of
advanced type system features, including pattern-matching functions in the
type
system (type families), indexed families (generalized algebraic datatypes,
or
GADTs), type-level data structures (data kinds), and general compile-time
metaprogramming (Template Haskell). At Galois, we use these features in a
number
of our projects, which allows us to build deep embeddings of programming
languages and have GHC enforce the target language's type system for us.
This
style of programming ensures that we only produce well-typed terms,
including
that we do not forget any of the run-time checks that are necessary to
preserve
our invariants when accepting input from untyped sources such as files.

In the course of developing these projects, some common problems and
programming
patterns emerged. We developed the `parameterized-utils` library to codify
solutions to these problems, and provide necessary generalizations of
interfaces
from the standard library (Eq, Applicative, Traversable, etc.)

We will expect that participants in the course have used Haskell before,
but we
will not expect everyone to be experts. We will introduce GADTs, type
families,
and data kinds, and then show how to use them together with the tools from
parameterized-utils with an implementation of the simply-typed lambda
calculus,
including basic AST definitions, evaluation, and parsing.


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program
committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


### Organization and Program committee

Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell,
USA

Program Committee:

* Arthur Chargueraud, Inria, FR
* Ben Delaware, Purdue University, USA
* Christos Dimoulas, Northwestern University, USA
* David Darais, University of Vermont, USA
* Dominic Orchard, University of Kent, UK
* Ekaterina Komendantskaya, Heriot-Watt University, UK
* Garrett Morris, University of Kansas, USA
* Heather Miller, EPFL & Northeastern University, CH & USA
* Jeremy Yallop, University of Cambridge, UK
* Keiko Nakata, SAP Innovation Center Potsdam, DE
* Laura Castro, University of A Coruna, ESP
* Magnus Myreen, Chalmers University of Technology, SWE
* Natalia Chechina, Bournemouth University, UK
* Peter Achten, Radboud Universiteit Nijmegen, NL
* Peter-Michael Osera, Grinnell College, USA
* Richard Eisenberg, Bryn Mawr College, USA
* Trevor McDonell, University of New South Wales, AUS
* Yukiyoshi Kameyama, University of Tsukuba, JAP

### Venue

The 30th IFL is organized by the University of Massachusetts Lowell.
The City of Lowell is located at the heart of the Merrimack Valley just 30
miles
northwest of Boston. Lowell can be easily reached by train or taxi.
See the website for more information on the venue.
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)

[Jurriaan Hage]

Hello,

Please, find below the last call for draft papers for presentation for IFL
2018.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---

Call for Draft papers for presentations




IFL 2018

30th Symposium on Implementation and Application of Functional
Languages


   University of Massachusetts Lowell, MA, USA
 September 5th-7th, 2018

http://iflconference.org




### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2018 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speakers

* Adam Chlipala, Massachusetts Institute of Technology CSAIL
* Arjun Guha, University of Massachusetts Amherst


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2018 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers,
at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2018.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings
Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   May25, 2018
[PASSED!]
Submission of draft papers: July   17, 2018
[UPCOMING!]
Regular and draft papers notification:  July   20, 2018
Deadline for early registration

[Haskell] Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the fourth call for papers for IFL 2018.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---

Call for Draft papers for presentations



IFL
2018
30th Symposium on Implementation and Application of Functional
Languages


   University of Massachusetts Lowell, MA, USA
 September 5th-7th, 2018

http://iflconference.org



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2018 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speakers

* Adam Chlipala, Massachusetts Institute of Technology CSAIL
* Arjun Guha, University of Massachusetts Amherst


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2018 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers,
at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2018.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings
Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   May25, 2018
[PASSED!]
Submission of draft papers: July   17, 2018
[UPCOMING!]
Regular and draft papers notification:  July   20, 2018
Deadline for early registration

[Haskell] 3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the third call for papers for IFL 2018.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---




IFL 2018

30th Symposium on Implementation and Application of Functional
Languages


   University of Massachusetts Lowell, MA, USA
 September 5th-7th, 2018

http://iflconference.org




### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2018 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speakers

* Adam Chlipala, Massachusetts Institute of Technology CSAIL
* Arjun Guha, University of Massachusetts Amherst


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2018 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers,
at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2018.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings
Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   May25, 2018
Submission of draft papers: July   17, 2018
Regular and draft papers notification:  July   20, 2018
Deadline for early registration:August  8, 2018
Submission of pre-proceedings version:  August 29

[Haskell] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the second call for papers for IFL 2018.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---



IFL
2018
30th Symposium on Implementation and Application of Functional
Languages


   University of Massachusetts Lowell, MA, USA
 September 5th-7th, 2018

http://iflconference.org



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2018 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speakers

* Adam Chlipala, Massachusetts Institute of Technology CSAIL
* Arjun Guha, University of Massachusetts Amherst


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2018 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers,
at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2018.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings
Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   May25, 2018
Submission of draft papers: July   17, 2018
Regular and draft papers notification:  July   20, 2018
Deadline for early registration:August  8, 2018
Submission of pre-proceedings version:  August 29, 2018

[Haskell] 1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)

[Jurriaan Hage]

Hello,

Please, find below the first call for papers for IFL 2018.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---



IFL
2018
30th Symposium on Implementation and Application of Functional
Languages


   University of Massachusetts Lowell, MA, USA
 September 5th-7th, 2018

http://iflconference.org



### Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2018 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2018 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers,
at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2018.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity,
and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings
Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   May25, 2018
Submission of draft papers: July   17, 2018
Regular and draft papers notification:  July   20, 2018
Deadline for early registration:August  8, 2018
Submission of pre-proceedings version:  August 29, 2018
IFL Symposium:  September 5-7, 2018
Submission of papers for post-proceedings:  November

Re: Whose gonna be at icfp?

[Jurriaan Hage]

I won’t be there. :-(

Jur

> On 26Aug, 2017, at 08:48, Carter Schonwald  wrote:
> 
> I'll be this time! :)
> 
> We should coord a committee catch-up at icfp. 
> 
> Also I would like to propose we shift back to email based discussion. There's 
> still the valid and important need of then taking the discussion and 
> revisions into a new standard. But let's at least make the first half lighter 
> weight perhaps? the pattern that's working for ghc proposals doesn't seem to 
> matchup with what works for h2020
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

[Haskell] Final call for papers for IFL 2015

[Jurriaan Hage]

Hello,

Please, find below the final call for papers for IFL 2015.
Note that the draft submission date has been extended until August 15.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

——

IFL 2015 - Call for papers

27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 
2015

University of Koblenz-Landau, Koblenz, Germany

In cooperation with ACM SIGPLAN

September 14-16, 2015

http://ifl2015.wikidot.com/

Scope

The goal of the IFL symposia is to bring together researchers actively engaged 
in the implementation and application of functional and function-based 
programming languages. IFL 2015 will be a venue for researchers to present and 
discuss new ideas and concepts, work in progress, and publication-ripe results 
related to the implementation and application of functional languages and 
function-based programming.

Peer-review

Following the IFL tradition, IFL 2015 will use a post-symposium review process 
to produce the formal proceedings. All participants of IFL2015 are invited to 
submit either a draft paper or an extended abstract describing work to be 
presented at the symposium. At no time may work submitted to IFL be 
simultaneously submitted to other venues; submissions must adhere to ACM 
SIGPLAN's republication policy:

http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to make sure 
they are within the scope of IFL, and will appear in the draft proceedings 
distributed at the symposium. Submissions appearing in the draft proceedings 
are not peer-reviewed publications. Hence, publications that appear only in the 
draft proceedings do not count as publication for the ACM SIGPLAN republication 
policy. After the symposium, authors will be given the opportunity to 
incorporate the feedback from discussions at the symposium and will be invited 
to submit a revised full article for the formal review process. From the 
revised submissions, the program committee will select papers for the formal 
proceedings considering their correctness, novelty, originality, relevance, 
significance, and clarity.

Important dates

August 15: Submission deadline draft papers
August 17: Notification of acceptance for presentation
August 19: Early registration deadline
August 26: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings

Submission details

Prospective authors are encouraged to submit papers or extended abstracts to be 
published in the draft proceedings and to present them at the symposium. All 
contributions must be written in English. Papers must adhere to the standard 
ACM two columns conference format. For the pre-symposium proceedings we adopt a 
'weak' page limit of 12 pages. For the post-symposium proceedings the page 
limit of 12 pages is firm. A suitable document template for LaTeX can be found 
at:

http://www.acm.org/sigs/sigplan/authorInformation.htm

Authors submit through EasyChair:

https://easychair.org/conferences/?conf=ifl2015

Topics

IFL welcomes submissions describing practical and theoretical work as well as 
submissions describing applications and tools in the context of functional 
programming. If you are not sure whether your work is appropriate for IFL 2015, 
please contact the PC chair at rlaem...@acm.org. Topics of interest include, 
but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications

Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the symposium 
every year. The honored article is selected by the program committee based on 
the submissions received for the formal review process. The prize carries a 
cash award equivalent to 150 Euros.

Programme committee

Chair: Ralf Lämmel, University of Koblenz-Landau, Germany

- Malgorzata Biernacka, University of Wroclaw, Poland
- Laura M. Castro, University of A Coruña, Spain
- Martin Erwig, Oregon State University, USA
- Dan

[Haskell] [ANN]: the Helium compiler, version 1.8.1

[Jurriaan Hage]

Dear all,

we have recently uploaded Helium 1.8.1, the novice friendly Haskell compiler, 
to Hackage.

Improvements in this version
 - Helium can again work together with our Java-based programming environment 
Hint.
   The jar file for Hint itself can be downloaded from the Helium website at:
   http://foswiki.cs.uu.nl/foswiki/Helium
   which also has some more documentation on how to use Hint and helium.
 - the svn location if you are interested in the sources is now the correct one


To install Helium simply type

cabal install helium
cabal install lvmrun

Helium compiles with GHC 7.6.3 and 7.8.x, but does not yet compile with 7.10.

Any questions and feedback are welcome at hel...@cs.uu.nl.

best regards,
The Helium Team

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] ANN: Helium now available from Hackage

[Jurriaan Hage]

Dear Haskellers,

I am happy to inform you that the programmer-friendly Helium Haskell compiler, 
known for its focus on error messages
and hints, domain specific type error diagnosis, and its compilation logging 
facility, is now available from Hackage.

All you need to do is

cabal install helium
cabal install lvmrun

and you should be ready to go. The system has been tested under various 
instances of Windows, Mac, and Linux.

To use Helium, there is a texthint program that is much like ghci (but less 
powerful), and a runhelium program
that behaves like runhaskell. 

NB. the Hint environment is not yet availalble in this way (and, being pure 
Java, I am not sure if we will make it 
available in this way), and the server for logging the compiled programs is 
also not made available in this way. 
If you have a need for either of these, please e-mail me. 

There is a website too:
   http://www.cs.uu.nl/foswiki/Helium/WebHome

To dispell one of the frequent misunderstandings about Helium: Helium DOES 
support a form of overloading.
But overloading is restricted to specific classes: Num, Eq, Ord, Show and Enum, 
with instances
for Eq and Show being derived, and for the others the instances are fixed. In 
other words: you can't write your own
classes and instances. If you want, you can turn overloading off entirely, and 
profit from better error messages.

Any feedback is appreciated. Replying to this e-mail will do, or mail us at 
hel...@cs.uu.nl .

cheers,
Jurriaan Hage writing for the Helium Team

PS. no need to bother telling us about the warnings you get when compiling with 
GHC 7.8.x. We know about 
them, and they will be fixed in a future release. As it happens, we prepared 
this version of Helium with GHC 7.6.3.

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Call for Participation PEPM 2014 (co-located with POPL 2014)

[Jurriaan Hage]

Dear all,

Note the presence of Haskell papers in the program. Hope to see many of you 
there.

best,
Jur (co-chair of PEPM 2014)

 === PEPM 2014 ===
ACM SIGPLAN Workshop on
 Partial Evaluation and Program Manipulation
 http://www.program-transformation.org/PEPM14

  January 20-21, 2014
  San Diego, CA, USA
  (Affiliated with POPL 2014)

  CALL FOR PARTICIPATION


IMPORTANT DATES

* Hotel reservation deadline:  December 21, 2013
* Early registration deadline: December 31, 2013

VENUE

   PEPM'14 and all POPL'14 affiliated events will take place at the
   US Grant in San Diego, CA, USA.

SCOPE

   The PEPM Symposium/Workshop series aims at bringing together
   researchers and practitioners working in the areas of program
   manipulation, partial evaluation, and program generation. PEPM
   focuses on techniques, theory, tools, and applications of analysis
   and manipulation of programs.

INVITED TALKS:

  * Manuel Fahndrich (Microsoft Research, USA) on
Lessons from a Web-Based IDE and Runtime

  * Sven-Bodo Scholz (Heriott-Watt University, Scotland) on
Partial Evaluation as Universal Compiler Tool
(experiences from the SAC eco system)

PROGRAM CHAIRS

Wei Ngan Chin (National University of Singapore, Singapore)
Jurriaan Hage (Utrecht University, Netherlands)

PROGRAM COMMITTEE

Evelyne Contejean (LRI, CNRS, Université Paris-Sud, France)
Cristina David (University of Oxford, UK)
Alain Frisch (LexiFi, France)
Ronald Garcia (University of British Columbia, Canada)
Zhenjiang Hu (National Institute of Informatics, Japan)
Paul H J Kelly (Imperial College, UK)
Oleg Kiselyov (Monterey, USA)
Naoki Kobayashi (University of Tokyo, Japan)
Jens Krinke (University College London, UK)
Ryan Newton (University of Indiana, USA)
Alberto Pardo (Universidad de la República, Uruguay)
Sungwoo Park (Pohang University of Science and Technology, South Korea)
Tiark Rompf (Oracle Labs  EPFL, Switzerland)
Sukyoung Ryu (KAIST, South Korea)
Kostis Sagonas (Uppsala University, Sweden)
Max Schaefer (Nanyang Technological University, Singapore)
Harald Søndergaard (The University of Melbourne, Australia)
Eijiro Sumii (Tohoku University, Japan)
Eric Van Wyk (University of Minnesota, USA)
Jeremy Yallop (University of Cambridge, UK)

PRELIMINARY PROGRAM

DAY 1:  Monday, January 20th, 2014
==

09:00 - 10:00  Invited Talk
===

Lessons from a Web-Based IDE and Runtime
Manuel Fahndrich

10:30 - 12:00  Meta-Programming
---

Combinators for Impure yet Hygienic Code Generation
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-Chieh Shan

Effective Quotation
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler

Compile-time Reflection and Metaprogramming for Java
Weiyu Miao, Jeremy Siek


14:00 - 15:25  Bidirectional Transformations


Monadic Combinators for Putback Style Bidirectional Programming
Hugo Pacheco, Zhenjiang Hu and Sebastian Fischer

Semantic Bidirectionalization Revisited
Meng Wang and Shayan Najd

Generating Attribute Grammar-based Bidirectional Transformations from Rewrite 
Rules
Pedro Martins, Joao Paulo Fernandes, Joao Saraiva and Eric Van Wyk


16:00 - 17:00  Static Analysis and Optimization
---

Optimizing SYB is Easy!
Michael D. Adams, Andrew Farmer, Jose Pedro Magalhaes:

QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient 
Coroutines
Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi

=
DAY 2: Tuesday, January 21, 2014
=

09:00 - 10:00  Invited Talk
---

Partial Evaluation as Universal Compiler Tool (experiences from the SAC eco 
system)
Sven-Bodo Scholz


10:30 - 12:00   Program Transformation
--

The HERMIT in the Stream
Andrew Farmer, Christian Hoener Zu Siederdissen, Andy Gill

Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Loeh, Bram Schuur

An Operational Semantics for Android Activities
Etienne Payet, Fausto Spoto

14:00 - 15:30   Type Systems


Early Detection of Type Errors in C++ Templates
Sheng Chen, Martin Erwig

Lazy Stateless Incremental Evaluation Machinery for Attribute Grammars
Jeroen Bransen, Atze Dijkstra, Doaitse Swierstra

Deriving Interpretations of the Gradually-Typed Lambda Calculus.
Alvaro Garcia-Perez, Pablo Nogueira, Ilya Sergey


16:00 - 17:20   Program Analysis/Testing


Automating Property-based Testing of Evolving Web Services
Huiqing Li, Simon Thompson, Pablo Lamela Seijas, Miguel Angel Francisco

[Haskell] Deadline extension for PEPM 2014 (co-located with POPL in San Diego)

[Jurriaan Hage]

LS.

Please consider submitting your work on program transformation,
partial evaluation, meta programming and program analysis, to 
PEPM 2014. Papers can be 12 pages in length ACM style 
(the size of a typical ICFP and POPL submission). 

Apologies for multiple postings.

best,
Jurriaan Hage and Wei-Ngan Chin

PEPM 2014 - FINAL DEADLINE EXTENSION


Due to a number of requests for extensions, the deadline for full
paper submission to PEPM 2014 has been extended until 23:59 GMT
on Tuesday 15 October. We would like to highlight two aspects
of our CFP.

Journal Special Issue
-
We are planning for a journal special issue of recommended papers
from PEPM'14. For this year, we expect the special issue to be
with the Science of Computer Programming.

Short papers and Tool papers

We are looking for short papers (up to 6pp) and tool papers as well as
full research papers. All categories of papers will appear in the formal
ACM proceedings. In the case of tool papers, a live demonstration of
the described tool is expected during the presentation at PEPM.

More details on the PEPM 2014 can be found on web site below.

  http://www.program-transformation.org/PEPM14


___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Liber Amicorum for Doaitse Swierstra.

[Jurriaan Hage]

Dear all,

Prof. Doaitse Swierstra is retiring on August 1 of this year, and is
leaving the very functional programming minded Software Technology
group that he has led for many decades.

We have compiled a Liber Amicorum in his honour that we handed
to him after his farewell speech on May 30th. You can find a download
of this book at:

http://www.cs.uu.nl/people/jur/liberdoaitseswierstra.pdf

Not all contributions are ``technical'', and not all of them are in English, but
counting up the pages, I guess about 75 percent is.

best,
Jurriaan Hage



___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell-cafe] Liber Amicorum for Doaitse Swierstra.

[Jurriaan Hage]

Dear all,

Prof. Doaitse Swierstra is retiring on August 1 of this year, and is
leaving the very functional programming minded Software Technology
group that he has led for many decades.

We have compiled a Liber Amicorum in his honour that we handed
to him after his farewell speech on May 30th. You can find a download
of this book at:

http://www.cs.uu.nl/people/jur/liberdoaitseswierstra.pdf

Not all contributions are ``technical'', and not all of them are in English, but
counting up the pages, I guess about 75 percent is.

best,
Jurriaan Hage



___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell] Job opening Ph D student in type error diagnosis for domain specific languages in Haskell

[Jurriaan Hage]

Dear Haskellers,

Apologies in case you have received multiple copies. 

best,
Jur

===
VACANCY : 1x Phd Student in domain specific type error diagnosis for Haskell
===

The activities of the Software Systems division at Utrecht University include 
research on programming methodologies, compiler construction, and program 
analysis, validation, and verification. For information about the research 
group of Software Technology, see:

 http://www.cs.uu.nl/wiki/Center

Financed by the Netherlands Organisation for Scientific Research (NWO), we
currently have a job opening for:

 * 1x PhD researcher (Ph D student) Software Technology

Domain-specific languages (DSLs) have the potential both to reduce the effort 
of 
programming, and to result in programs that are easier to understand and 
maintain. For various good reasons, researchers have proposed to embed DSLs
(then called EDSLs) into a general purpose host language. An important 
disadvantage of such an embedding is that it is very hard to make type error 
diagnosis domain-aware, because inconsistencies are by default explained in 
terms of the host language. We are currently looking for a highly motivated 
Ph D student to investigate this problem in the context of the functional 
language Haskell. 

The basic approach is to scale the concept of specialized type rules as 
developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for 
Haskell '98 to modern day Haskell with all of its type system extensions. 
The work is both technically challenging, i.e., how do you ensure that 
modifications to the type diagnositic process do not inadvertently change the 
type system, and practically immediately useful:  making domain-specific type 
error diagnosis a reality for a full sized language such as Haskell is likely 
to have a pervasive influence on the field of domain-specific languages, and 
the language Haskell.

The ICFP '03 paper can be found at

http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf

A project paper that describes the context and aims of the current project can 
be found here:

http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf

At first, the work will be prototyped in our own Utrecht Haskell Compiler. If
succesfull, the work will also make its way into the GHC.

We expect the candidate to communicate the results academically, to present the 
work at scientific conferences, to supervise Master students, and to assist in 
teaching courses at Bachelor or Master level.

-
What we are looking for
-

The candidate should have an MSc in Computer Science, be highly motivated, 
speak and write English very well, and be proficient in producing scientific
reports. Knowledge of and experience with at least one of the following two
areas is essential:

  * functional programming, and Haskell in particular
  * type system concepts

Furthermore, we expect the candidate to be able to reason formally.
Experience in compiler construction is expected to be useful in this project.

-
What we offer
-

You are offered a full-time position for 4 years. The gross salary is in the 
range between € 2083,- and maximum € 2664,- per month. The salary is 
supplemented 
with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. 

In addition we offer: a pension scheme, a partially paid parental leave, 
flexible employment conditions. Conditions are based on the Collective 
Labour Agreement Dutch Universities.

We aim to start November 1, 2013 at the latest, but preferably sooner.

-
In order to apply
-

To apply please attach a letter of motivation, a curriculum vitae, and (email)
addresses of two referees. Make sure to also include a transcript of the courses
you have followed (at bachelor and master level), with the grades you
obtained, and to include a sample of your scientific writing, e.g., the pdf of
your master thesis.

It is possible to apply for this position if you are close to obtaining
your Master's. In that case include a letter of your supervisor with an estimate
of your progress, and do not forget to include at least a sample of your
technical writing skills.

Application closes on the 20th of June 2013.

For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and
follow the link to the official job application page at the bottom.

---
Contact person
---

For further information you can direct your inquiries to:

 Dr. Jurriaan Hage
 Phone: (+31) 30 253 3283 
 e-mail: j.h...@uu.nl.   
 website: http://www.cs.uu.nl/wiki/Hage/WebHome


___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org

[Haskell-cafe] Job opening Ph D student in type error diagnosis for domain specific languages in Haskell

[Jurriaan Hage]

Dear Haskellers,

Apologies in case you have received multiple copies. 

best,
Jur

===
VACANCY : 1x Phd Student in domain specific type error diagnosis for Haskell
===

The activities of the Software Systems division at Utrecht University include 
research on programming methodologies, compiler construction, and program 
analysis, validation, and verification. For information about the research 
group of Software Technology, see:

 http://www.cs.uu.nl/wiki/Center

Financed by the Netherlands Organisation for Scientific Research (NWO), we
currently have a job opening for:

 * 1x PhD researcher (Ph D student) Software Technology

Domain-specific languages (DSLs) have the potential both to reduce the effort 
of 
programming, and to result in programs that are easier to understand and 
maintain. For various good reasons, researchers have proposed to embed DSLs
(then called EDSLs) into a general purpose host language. An important 
disadvantage of such an embedding is that it is very hard to make type error 
diagnosis domain-aware, because inconsistencies are by default explained in 
terms of the host language. We are currently looking for a highly motivated 
Ph D student to investigate this problem in the context of the functional 
language Haskell. 

The basic approach is to scale the concept of specialized type rules as 
developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for 
Haskell '98 to modern day Haskell with all of its type system extensions. 
The work is both technically challenging, i.e., how do you ensure that 
modifications to the type diagnositic process do not inadvertently change the 
type system, and practically immediately useful:  making domain-specific type 
error diagnosis a reality for a full sized language such as Haskell is likely 
to have a pervasive influence on the field of domain-specific languages, and 
the language Haskell.

The ICFP '03 paper can be found at

http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf

A project paper that describes the context and aims of the current project can 
be found here:

http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf

At first, the work will be prototyped in our own Utrecht Haskell Compiler. If
succesfull, the work will also make its way into the GHC.

We expect the candidate to communicate the results academically, to present the 
work at scientific conferences, to supervise Master students, and to assist in 
teaching courses at Bachelor or Master level.

-
What we are looking for
-

The candidate should have an MSc in Computer Science, be highly motivated, 
speak and write English very well, and be proficient in producing scientific
reports. Knowledge of and experience with at least one of the following two
areas is essential:

  * functional programming, and Haskell in particular
  * type system concepts

Furthermore, we expect the candidate to be able to reason formally.
Experience in compiler construction is expected to be useful in this project.

-
What we offer
-

You are offered a full-time position for 4 years. The gross salary is in the 
range between € 2083,- and maximum € 2664,- per month. The salary is 
supplemented 
with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. 

In addition we offer: a pension scheme, a partially paid parental leave, 
flexible employment conditions. Conditions are based on the Collective 
Labour Agreement Dutch Universities.

We aim to start November 1, 2013 at the latest, but preferably sooner.

-
In order to apply
-

To apply please attach a letter of motivation, a curriculum vitae, and (email)
addresses of two referees. Make sure to also include a transcript of the courses
you have followed (at bachelor and master level), with the grades you
obtained, and to include a sample of your scientific writing, e.g., the pdf of
your master thesis.

It is possible to apply for this position if you are close to obtaining
your Master's. In that case include a letter of your supervisor with an estimate
of your progress, and do not forget to include at least a sample of your
technical writing skills.

Application closes on the 20th of June 2013.

For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and
follow the link to the official job application page at the bottom.

---
Contact person
---

For further information you can direct your inquiries to:

 Dr. Jurriaan Hage
 Phone: (+31) 30 253 3283 
 e-mail: j.h...@uu.nl.   
 website: http://www.cs.uu.nl/wiki/Hage/WebHome


___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http

[Haskell-cafe] Follow up on type error diagnosis for DSLs in Haskell

[Jurriaan Hage]

Dear all (and in particular Alberto G. Corona and Stephen Tetley),

First of all, thanks Stephen for pointing out our work to Alberto.

Second, you may be interested to know that I just (as in two weeks ago) 
obtained a 
grant to hire a PhD student to scale the work of the ICFP '03 paper (as 
mentioned by 
Stephen) up to Haskell 2011 (or whatever variant will be appropriate). The plan 
is to 
first prototype this work in the UHC compiler, and, if succesful, build it into 
the GHC.

I shall surely send out a job vancancy on some of the Haskell mailing lists.

best,
Jurriaan Hage


___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Cabalizing LVM

[Jurriaan Hage]

Dear all,

in an effort to Cabalize the Helium compiler and make it available on Hackage, 
it would
be helpful to have an example of a Cabal file that shows how to deal with 
compilation
of platform dependent C-code. Anybody out there who has a sample for me?

best,
Jurriaan Hage


___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Explicit calls to the garbage collector.

[Jurriaan Hage]

LS.

I have a very memory intensive application. It seems that the timing of my 
application 
depend very much on the precise setting of -H...M in the runtime system 
(-H2000M 
seems to work best, computation time becomes a third of what I get when I pass 
no
-H option).  I conjecture that this good behaviour is the result of gc 
happening at the right time.
So I wondered: if I can one when is the right time, is it possible then to 
trigger
GC explicitly from within the Haskell code? 

best,
Jur
 
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Another profiling question.

[Jurriaan Hage]

Dear all,

from the RTS option -s I get :

  INIT  time0.00s  (  0.00s elapsed)
  MUT   time  329.99s  (940.55s elapsed)
  GCtime  745.91s  (751.51s elapsed)
  RPtime  765.76s  (767.76s elapsed)
  PROF  time  359.95s  (362.12s elapsed)
  EXIT  time0.00s  (  0.00s elapsed)

I can guess what most components mean, but do not know what RP stands for.
I also could not find this information in the GHC documentation that is online.
Can anyone tell me?

Jur


___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

What do the following numbers mean?

[Jurriaan Hage]

Dear all,

I ran a small example program, and this is what I got from using the -s flag:

486,550,118,368 bytes allocated in the heap
323,749,418,440 bytes copied during GC
  1,842,979,344 bytes maximum residency (219 sample(s))
204,653,688 bytes maximum slop
   4451 MB total memory in use (0 MB lost due to fragmentation)

 Generation 0: 924208 collections, 0 parallel, 1861.17s, 1866.05s elapsed
 Generation 1:   219 collections, 0 parallel, 283.44s, 284.01s elapsed

 INIT  time0.00s  (  0.00s elapsed)
 MUT   time  740.61s  (745.45s elapsed)
 GCtime  2144.61s  (2150.06s elapsed)
 EXIT  time0.00s  (  0.00s elapsed)
 Total time  2885.23s  (2895.51s elapsed)

 %GC time  74.3%  (74.3% elapsed)

 Alloc rate656,953,176 bytes per MUT second


Can anyone tell me what the exact difference is between
  1,842,979,344 bytes maximum residency (219 sample(s))
and
   4451 MB total memory in use (0 MB lost due to fragmentation)

I could not find this information in the docs anywhere, but I may have missed 
it.

best,
Jur

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: [Haskell] [Haskell-cafe] ANNOUNCE: haskell-src-exts-1.13.0

[Jurriaan Hage]

On 28Mar, 2012, at 10:52 PM, dag.odenh...@gmail.com wrote:

 On 28 March 2012 21:05, Jurriaan Hage j.h...@uu.nl wrote:
 
 Our first year students will be very unhappy to hear this.

 
 Wait, what?

The improvements in haskell-src-exts will make my Haskell  plagiarism detector 
Holmes more robust 
and will allow me to detect plagiarism more easily during our bachelor level 
functional programming
course.

I admit to being somewhat provocative in my statement: only a small percentage 
of students plagiarises 
(as far as we have been able to tell), but some of them really do.

Some of our master students will, on the other hand, be very happy with the 
improved haskell-src-exts,
as am I. They are the ones that contribute to constructing tools such as Holmes.

Jur



___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] [Haskell-cafe] ANNOUNCE: haskell-src-exts-1.13.0

[Jurriaan Hage]

On 28Mar, 2012, at 4:02 PM, Niklas Broberg wrote:

 Fellow Haskelleers,
 
 I'm pleased to announce the release of haskell-src-exts-1.13.0!
 
 * On hackage: http://hackage.haskell.org/package/haskell-src-exts
 * Via cabal: cabal install haskell-src-exts
 * Darcs repo: http://code.haskell.org/haskell-src-exts
 
 It's been a *very short* while since the last update before this, and another 
 (smallish) major release it is. Sorry about that (especially to Neil who was 
 quick to update).
 
 The main update of this release is to add support for DoAndIfThenElse, which 
 means haskell-src-exts at long last is compliant with Haskell2010. This is 
 also the cause for the backwards-incompatible change: default parse mode is 
 now to use Haskell2010 mode. 

Great news!

Our first year students will be very unhappy to hear this.

Jur


___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Job Opportunity: PhD position at Utrecht University on analysis of functional languages

[Jurriaan Hage]

Hello Haskellers,

I have the following job opening for a PhD student. Maybe it is something for 
some of you. Please pass it on to 
anyone who might be interested. Apologies if you happen to receive this mail 
multiple times.

best regards,
Jurriaan Hage

==
VACANCY : 1x Phd Student in type and effect systems for functional languages
==

The research group of Software Technology at Utrecht University
focuses its research on programming methodologies, compiler
construction, and program analysis, validation, and verification. 
For more about us, see:

http://www.cs.uu.nl/wiki/Center

Financed by the Netherlands Organisation for Scientific Research (NWO), we
currently have a job opening for:

* 1x PhD researcher (Ph D student) Software Technology

The topic of the project is to further investigate the notion of higher-ranked
polyvariance within the context of type based static analysis of higher-order
(functional) languages. 

Type and effect systems for functional languages employ the underlying type
system of a language to implement various other analyses, e.g.,
dead-code analysis and strictness analysis. These are designed by annotating the
underlying types with information concerning the analysis in question.
Higher-ranked polyvariance is a level of precision for such annotations inspired
by higher-ranked type systems. Full inference of the latter is known to be
undecidable, but this is, surprisingly maybe, not the case for higher-ranked
polyvariance. More details can be found in the following paper, published at
ICFP 2010:

http://www.cs.uu.nl/wiki/pub/Hage/PublicationList/holdermans10polyvariant.pdf

There remain many open questions about higher-ranked polyvariance. For example,
can validating analyses such as Kennedy's dimension analysis be treated
similarly? Can we show that adding higher-ranked types to a resource analysis
yields a beneficial higher level of precision? (This work will be done in
collaboration with others, including Kevin Hammond of St. Andrews.) Can we
extend our work to a richer type language?  Is it possible to selectively
analyze programs higher-ranked polyvariantly?

The candidate is expected to address these questions, communicate the results
academically, to present the work at scientific conferences, to supervise Master
students, and to assist in teaching courses at Bachelor or Master level.

-
What we are looking for
-

The candidate should have an MSc in Computer Science, be highly motivated, 
speak and write English very well, and be proficient in producing scientific
reports. Knowledge of and experience with at least one of the following two
areas is essential:

 *  static program analysis, and type and effect systems in particular
 * functional programming, and Haskell in particular

Furthermore, we expect the candidate to be able to reason formally.
Experience in compiler construction, the practical use of theorem provers, and
algorithmic complexity are expected to be useful in this project.

-
What we offer
-

The candidate is offered a full-time position for four years.
The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus
of 8,3% per year. In addition we offer: a pension scheme, a partially paid
parental leave, flexible employment conditions. Conditions are based on the
Collective Labour Agreement Dutch Universities. The research group will provide
the candidate with necessary support on all aspects of the project. More
information is available on the website:

http://www.uu.nl/EN/informationfor/jobseekers/Working-for-Utrecht-University/terms-of-employment/Pages/default.aspx

The gross salary is in the range between € 2,042 and € 2,612 gross per
month.

We aim to start September 1, 2012 at the latest, but preferably sooner.

-
In order to apply
-

To apply please attach a letter of motivation, a curriculum vitae, and (email)
addresses of two referees. Make sure to also include a transcript of the courses
you have followed (at bachelor and master level), with the grades you
obtained, and to include a sample of your scientific writing, e.g., the pdf of
your master thesis.

It is possible to apply for this position if you are close to obtaining
your Master's. In that case include a letter of your supervisor with an estimate
of your progress, and do not forget to include at least a sample of your
technical writing skills.

Application closes on the 21st March 2012.
Visit http://www.cs.uu.nl/vacatures/en/200946.html and from there
follow the link to the official job application page.

---
Contact person
---

For further information you can direct your inquiries to:

Dr. Jurriaan Hage
Phone: (+31) 30 253 3283 
e

[Haskell] ghc question

[Jurriaan Hage]

Hello,

Given the fact that Haskell 98 demands that class constraints in an 
explicit type are
in a normal form (either a variable, or a type variable applied to a 
list of types), it struck me
that in the following (not very useful) program ghci yields a type 
which is not of that form.

class X a where
  () :: a - a - Bool
class Y a where
  () :: a - a - Bool
  _  _ = True
instance Y a = X [a] where
  x  y = not(head x   head y)
--f :: Y a = a - a - Bool
f g h = [g]  [h]
Now, in ghci
:t f yields f :: forall t. (X [t]) = t - t - Bool
Hugs does reduce the type of f to the explicit type in comments.

My question is: is there any special reason for this behaviour?

Jur
--
http://www.cs.uu.nl/people/jur/progrock.html -- [EMAIL PROTECTED]
If e-mail does not work try [EMAIL PROTECTED]
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Re: sockets and handles in ghc

[Jurriaan Hage]

On Friday, June 27, 2003, at 07:08 PM, Volker Stolz wrote:

[Moving to [EMAIL PROTECTED]

In local.haskell, you wrote:
I've been using sockets and handles with ghc-5.04.3.
The strange thing is now that when I make a handle
out of a socket and ask whether the handle is readable
or writable, it returns True for the former and False
for the latter, although sockets are bidirectional. And yes,
Do you have a small sample program which shows this behaviour?
Can you try ghc-6? There have been some updates, but I cannot tell
if this was a particular bug that got fixed.
Regards,
  Volker
Installed GHC 6.0 (on MacOsX) and recompiled and it gave the same 
results.
I hope I did everything as it should there, I am not much
of an expert. The problem with the code fragment
is that it is part of a very large program, but I can give the 
pertinent parts (which
I guess can not be compiled by themselves).

sendLogString :: String - Bool - IO ()
sendLogString message loggerDEBUGMODE = withSocketsDo (rec 0)
 where
rec i = do
 handle - connectTo loggerHOSTNAME (PortNumber 
(fromIntegral loggerPORTNUMBER))
 hSetBuffering handle (BlockBuffering (Just 1024))
 sendToAndFlush handle message loggerDEBUGMODE
  `catch`
  \exception -
 if i+1 = loggerTRIES
   then debug ( Could not make a connection: no send 
( ++ show exception ++ ) ) loggerDEBUGMODE
   else do debug ( Could not make a connection: 
sleeping ( ++ show exception ++ ) ) loggerDEBUGMODE
   threadDelay loggerDELAY
   rec (i+1)

sendToAndFlush :: Handle-- Hostname
   - String-- Message to send
   - Bool  -- Debug logger?
   - IO ()
sendToAndFlush handle msg loggerDEBUGMODE = do
  hPutStr handle msg
  hPutStr handle loggerSPLITSTRING
  hFlush handle
-- The following two lines now output 'not writable and readable'
  b1 - hIsWritable handle
  b2 - hIsReadable handle
  putStrLn ((if b1 then writable else not writable) ++  and  ++
  (if b2 then readable else not readable))
  debug Waiting for a handshake  loggerDEBUGMODE
  handshake - getRetriedLine 0
  debug (Received a handshake:  ++ show handshake) loggerDEBUGMODE
  where
getRetriedLine i =
  do
line - hGetLine handle
return line
  `catch`
\_ -
  if i+1 = loggerTRIES
then do
   debug Did not receive anything back loggerDEBUGMODE
   return 
else do
   debug Waiting to try again loggerDEBUGMODE
   threadDelay loggerDELAY
   getRetriedLine (i+1)
Hope this helps.

Jur
--
http://www.cs.uu.nl/people/jur/progrock.html -- [EMAIL PROTECTED]
If e-mail does not work try [EMAIL PROTECTED]
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

sockets and handles in ghc

[Jurriaan Hage]

Hello,

I've been using sockets and handles with ghc-5.04.3.
The strange thing is now that when I make a handle
out of a socket and ask whether the handle is readable
or writable, it returns True for the former and False
for the latter, although sockets are bidirectional. And yes,
I am able to read from and write the handle notwithstanding.
I also got an exception once when working with these
things and the debug information I got then, showed
that both should have returned True instead.
Can anyone enlighten me?

thanks,
Jur
--
http://www.cs.uu.nl/people/jur/progrock.html -- [EMAIL PROTECTED]
If e-mail does not work try [EMAIL PROTECTED]
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell