functions that previously were defined on Fn are now overloaded
functions:
fun :: ... Fn ... - ... Fn ...
becomes:
fun :: (FnExt fn) = ... fn ... - ... fn ...
I hope you find this scheme useful. I guess its applicability depends on
your particular class member functions and program.
Regards,
Peter
At 11:18 25-9-00 -0300, Prof. José Romildo Malaquias wrote:
[...skip...]
And then how would I define data types based on Fn ? The math expressions
my system has to deal is expressed as something like
data Expr = Int
| App Fn [Expr]
I cannot just define
At 12:55 26-9-00 -0300, Prof. José Romildo Malaquias wrote:
[...skip...]
This solution works great for the data type, but, at least
to me, it seems to make it too dificult to write functions
over ExprExt.
Consider for example the original version of the addition
operation (somehow simplified)
of automatic translator (nothing fancy, just a specialised
translator from Clean Object I/O to Haskell Object I/O would do) that will
derive the Haskell version from the Clean version that I do maintain. I
haven't had time yet to make such a tool.
Regards,
Peter Achten
--
[1] Peter
, UK, September 1997, Selected papers, LNCS 1467, Springer, pp.
304-321.
Regards,
Peter Achten
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
: the issue is whether it is better, from
the programmer's point of view, to use MVars to manipulate
state, or to use the state parameterisation that Clean uses.
This issue is discussed in the paper by Peter Achten and mself
http://research.microsoft.com/~simonpj/Papers
am sorry, but I couldn't resist answering your question: have a look at
Arjen van Weelden's Famke system [1,2], who has done exactly that (in Clean):
Regards,
Peter Achten
[1] Arjen van Weelden and Rinus Plasmeijer. Towards a Strongly Typed
Functional Operating System. In Peña, R. ed. Proceedings
at the end of September), I may post a more detailed description
on
this list and also provide some code.
Good luck with your thesis. I'd like to see the final result.
Regards,
Peter Achten
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org
neighbours after all.
Regards,
Peter Achten
Best wishes,
Wolfgang Jeltsch
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
___
Haskell mailing list
Haskell@haskell.org
are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2008 program chairs, Peter Achten and Pieter
Koopman, at [EMAIL PROTECTED]
SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the
review of full papers (15 pages
are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2008 program chairs, Peter Achten and Pieter
Koopman, at [EMAIL PROTECTED]
SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the
review of full papers (15 pages
Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: [EMAIL PROTECTED]
___
Haskell mailing list
Haskell@haskell.org
http
* New Implementation Strategies
* Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2008 program chairs, Peter Achten and Pieter
Koopman, at [EMAIL PROTECTED]
SUBMISSION AND DRAFT PROCEEDINGS
/AFP_TFP_2008/#RegistrationInformation
IMPORTANT DATES (ALL 2008)
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
TFP Symposium: May 26-28
PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Deadline: May 5
AFP Summer School: May 19-24
ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: [EMAIL PROTECTED
:
http://www.st.cs.ru.nl/AFP_TFP_2008/#RegistrationInformation
IMPORTANT DATES (ALL 2008)
Early Registration Deadline: April 14
Late Registration Opens: April 15
Late Registration Deadline: May 5
TFP Symposium: May 26-28
PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew
: April 15
Late Registration Deadline: May 5
AFP Summer School: May 19-24
ORGANIZATION
Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail
5
TFP Symposium: May 26-28
PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ
Dear all,
Please find attached information about a PhD position at the Model Based
Software Development department of the Computer and Information Sciences
Institute at the Radboud University, The Netherlands.
With kind regards, on behalf of Rinus Plasmeijer,
Peter Achten
Vacature.pdf
Dear reader,
Please find included the first call for papers for next year's Trends In
Functional Programming event, organized by Jurriaan Hage from Utrecht
University, The Netherlands.
With kind regards,
Peter Achten
Communication chair TFP
Symposium: May 26-28, 2014
Student papers feedback: June 9th, 2014
Submission for formal review: July 1st, 2014
Notification of acceptance:September 8th, 2014
Camera ready paper:October 8th, 2014
PROGRAM COMMITTEE
Peter Achten
by the PC.
TFPIE workshops have previously been held in St Andrews, Scotland (2012)
and in Provo Utah, USA (2013).
*Program Committee*
James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
Edwin Brady, University of St Andrews, St Andrews
Jurriaan Hage
: June 9th, 2014
Submission for formal review: July 1st, 2014
Notification of acceptance: September 8th, 2014
Camera ready paper: October 8th, 2014
PROGRAM COMMITTEE
Peter AchtenRadboud University Nijmegen
Emil AxelssonChalmers
Lucilia Camarao de Figueiredo
-
1ST CALL FOR PARTICIPATION
-
TFP 2014 ===
15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht
University and Open University, both in The Netherlands is giving an
invited talk entitled: Automatic tutoring and assessing functional
programs.
** Program Committee **
James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
Edwin Brady, University of St
that professor Johan Jeuring of Utrecht
University and Open University, both in The Netherlands is giving an
invited talk entitled: Automatic tutoring and assessing functional
programs.
** Program Committee **
James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
-
C A L L F O R P A P E R S
-
TFP 2015 ===
16th Symposium on Trends in Functional Programming
-
S E C O N D C A L L F O R P A P E R S
-
TFP 2015 ===
16th Symposium on Trends in Functional Programming
-
L A S T C A L L F O R P A P E R S
-
TFP 2015 ===
16th Symposium on Trends in Functional Programming
will not be formally reviewed by the PC. TFPIE workshops have
previously been held in St Andrews, Scotland (2012), Provo Utah, USA
(2013), and
Soesterberg, The Netherlands (2014).
*** Program Committee ***
Peter Achten, Radboud University Nijmegen, The Netherlands
Edwin Brady, University of St Andrews, UK
-
L A S T C A L L F O R P A R T I C I P A T I O N
-
TFP 2015 ===
16th Symposium on Trends in Functional Programming
-
C A L L F O R P A P E R S
-
TFP 2016 ===
17th Symposium on Trends in Functional Programming
June
Trends in Functional Programming in Education (TFPIE 2016)
Call for papers
https://wiki.science.ru.nl/tfpie/TFPIE2016
The 5th International Workshop on Trends in Functional Programming in
Education, TFPIE 2016, will be held on June 7, 2016 at the
-
C A L L F O R P A P E R S
-
TFP 2016 ===
17th Symposium on Trends in Functional Programming
June
TFP 2016 has extended its deadline for draft papers by two weeks (now
April 25). Although all draft papers accepted to TFP 2016 will be
invited to submit to the post-symposium formal proceedings, authors
are reminded that they are not obligated to do so; we welcome works in
progress that may not
Trends in Functional Programming in Education (TFPIE 2016)
2nd Call for papers
https://wiki.science.ru.nl/tfpie/TFPIE2016
The 5th International Workshop on Trends in Functional Programming in
Education, TFPIE 2016, will be held on June 7, 2016 at the
-
C A L L F O R P A P E R S
-
TFP 2016 ===
17th Symposium on Trends in Functional Programming
June
-
C A L L F O R P A R T I C I P A T I O N
-
TFP 2016 ===
17th Symposium on Trends in Functional Programming
-
C A L L F O R P A P E R S
-
TFP 2017 ===
18th Symposium on Trends in Functional Programming
19-21
(UK)
Nicolas Wu University of Bristol (UK)
Laura CastroUniversity of A Coruña (ES)
Gabriel SchererNortheastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter Achten
of Cambridge (UK)
Nicolas Wu University of Bristol (UK)
Laura CastroUniversity of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter Achten
University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter AchtenRadboud University Nijmegen (NL)
Tom Schrijvers KU Leuven (BE)
Matthew Fluet Rochester Institute of Technology (US)
Mauro JaskelioffCIFASIS/Universidad
Radboud University Nijmegen (NL)
Peter AchtenRadboud University Nijmegen (NL)
Tom Schrijvers KU Leuven (BE)
Matthew Fluet Rochester Institute of Technology (US)
Mauro JaskelioffCIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian
of Cambridge (UK)
Nicolas Wu University of Bristol (UK)
Laura CastroUniversity of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter Achten
, Universidad Nacional de Rosario (AR)
Peter Achten, Radboud University (NL)
Dimitrios Vytiniotis, Microsoft Research (UK)
Alberto Pardo, Universidad de la República (UY)
Natalia Chechina, University of Glasgow (UK)
Peter Sestoft, IT University of Copenhagen (DK)
Scott
, Well-Typed LLP (UK)
Tarmo Uustalu, Tallinn University of Technology (EE)
Cosmin E. Oancea, University of Copenhagen (DK)
Mauro Jaskelioff, Universidad Nacional de Rosario (AR)
Peter Achten, Radboud University (NL)
Dimitrios Vytiniotis, Microsoft Research
, Nottingham Trent University (UK)
Andres Löh, Well-Typed LLP (UK)
Tarmo Uustalu, Tallinn University of Technology (EE)
Cosmin E. Oancea, University of Copenhagen (DK)
Mauro Jaskelioff, Universidad Nacional de Rosario (AR)
Peter Achten, Radboud University
TFPIE 2019 Call for papers
http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html
(June 11th, University of British Columbia, Vancouver Canada, co-located
with TFP 2019)
TFPIE 2019 welcomes submissions describing techniques used in the
classroom, tools used
in and/or developed for the
2 N D C A L L F O R P A P E R S
== TFP 2019 ==
20th Symposium on Trends in Functional Programming
12-14 June,
---
C A L L F O R P A P E R S
---
== TFP 2019 ==
20th Symposium on Trends in Functional Programming
12-14 June, 2019
---
C A L L F O R P A P E R S
---
== TFP 2019 ==
20th Symposium on Trends in Functional Programming
12-14 June, 2019
-
C A L L F O R P A R T I C I P A T I O N
-
== TFP 2019 ==
20th Symposium on Trends in Functional Programming
F I N A L C A L L F O R P A P E R S
== TFP 2019 ==
20th Symposium on Trends in Functional Programming
12-14
TFPIE 2019 Call for papers
http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html
(June 11th, University of British Columbia, Vancouver Canada, co-located with
TFP 2019)
TFPIE 2019 welcomes submissions describing techniques used in the classroom,
tools used
in and/or developed for the
-
First call for papers
21st Symposium on Trends in Functional Programming
tfp2020.org
-
The
-
Third call for papers
21st Symposium on Trends in Functional Programming
tfp2020.org
-
Did you
-
Second call for papers
21st Symposium on Trends in Functional Programming
tfp2020.org
-
The
-
Call for participation
21st Symposium on Trends in Functional Programming
tfp2020.org
-
The list
-
Final call for papers
21st Symposium on Trends in Functional Programming
tfp2020.org
-
Did you
2021
- Submission for formal review: April 20 2021, Anywhere on Earth.
- Notification of full article: June 7 2021
- Camera ready: July 1st 2021
Program Committee (under construction)
- Peter Achten, Radboud University, Netherlands (chair)
- Edwin Brady, University of St Andrews, UK
-
First call for papers
22nd Symposium on Trends in Functional Programming
tfp2021.org
-
The
-
Second call for papers
22nd Symposium on Trends in Functional Programming
tfp2021.org
-
Did you
on Earth.
- Notification: January 15 2021
- Workshop: February 16 2021
- Submission for formal review: April 20 2021, Anywhere on Earth.
- Notification of full article: June 7 2021
- Camera ready: July 1st 2021
Program Committee
- Peter Achten, Radboud University, Netherlands (chair
-
Final call for papers
22nd Symposium on Trends in Functional Programming
tfp2021.org
*deadline: January 15 2021*
---
C A L L F O R P A R T I C I P A T I O N
8th Lambda Days
+
10th International Workshop on Trends in Functional Programming in
Education
- Submission for formal review: April 20 2021, Anywhere on Earth.
- Notification of full article: June 7 2021
- Camera ready: July 1st 2021
Program Committee
- Peter Achten, Radboud University, Netherlands (chair)
- Edwin Brady, University of St Andrews, UK
- Laura Castro, Universidade da
== TFP 2022 ==
23rd Symposium on Trends in Functional Programming
10-11 February, 2022
Krakow, Poland
https://trendsfp.github.io/index.html
== Important Dates ==
Submission deadline for pre-symposium review Wednesday 1st
December, 2021
Submission deadline for draft papers
== TFP 2022 ===
== MOVING TO ONLINE SYMPOSIUM, NEW DATES ==
===
23rd Symposium on Trends in Functional Programming
17-18 March, 2022
Online event
https://trendsfp.github.io/index.html
Due the pandemic, we have had to make TFP
:
---
Peter Achten: The Perfect Functional Programming Course
Trends in Functional Programming keynote speaker:
-
Christiaan Baaij: Building a Haskell-to-Hardware compiler: Theory & Prac
TFP 2022 =
== Final Call For Papers ==
== registration opened ==
===
23rd Symposium on Trends in Functional Programming
17-18 March, 2022
Online event
https://trendsfp.github.io/index.html
ritten in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.
## Program Committee
Peter Achten, Radboud University Nijmegen, Netherlands
Nada Amin, Harvard University, USA
Ambrose Bonnaire-Se
udents will receive additional feedback by one of the PC members
shortly after the symposium has taken place.
## Format
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.
## Program Committee
Peter
ritten in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.
## Program Committee
Peter Achten, Radboud University Nijmegen, Netherlands
Nada Amin, Harvard University, USA
Ambrose Bonnaire-Se
# TFP 2024 -- Call for Papers
(trendsfp.github.io)
## Important Dates
Submission deadline: pre-symposium, full papers, Saturday 4 November, 2023
Submission deadline: pre-symposium, draft papers, Wednesday 30 November,
2023
Notification: pre-symposium submissions, Friday 8 December,
TFPIE 2024 Call for papers
https://wiki.tfpie.science.ru.nl/TFPIE2024
(January 9th 2024, West Orange, NJ, USA, co-located with TFP 2024 at
Seton Hall University)
TFPIE 2024 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any
are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2008 program chairs, Peter Achten and Pieter
Koopman, at [EMAIL PROTECTED]
SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the
review of full papers (15 pages
Plasmeijer, Pieter Koopman, Radboud
University Nijmegen, NL
Doaitse Swierstra, Utrecht University, NL
Arrangements: Peter Achten, Simone Meeuwsen, Radboud University
Nijmegen, NL
E-mail: [EMAIL PROTECTED]
___
Glasgow-haskell-users mailing list
Glasgow
was already present on my system.
Does anybody have a solution how to solve this problem?
Thanks in advance,
Peter Achten
he directory C:tmp was already present on my system.
Does anybody have a solution to this problem?
Thanks in advance,
Peter Achten
decrease. In
addition, this can be done light-weight because annotations are added only
to function argument types and data types, instead of modifying the code by
inserting strict evaluator functions.
Regards,
Peter Achten
N.B. My new email address is : [EMAIL PROTECTED]
The University
decrease. In
addition, this can be done light-weight because annotations are added only
to function argument types and data types, instead of modifying the code by
inserting strict evaluator functions.
Regards,
Peter Achten
N.B. My new email address is : [EMAIL PROTECTED]
The University
# TFP 2024 -- Call For Participation
(trendsfp.github.io)
## Venue
TFPiE and TFP will take place in-person at Seton Hall University, New
Jersey in the United States.
## Dates
TFPiE Workshop: Tuesday 9th January, 2024
TFP Symposium: Wednesday 10th - Friday 12th January, 2024
The Symposium
of Massachusetts
Boston, USA
Shajina Anand Local Arrangements Seton Hall University, South
Orange, USA
Peter Achten Publicity Chair Radboud University Nijmegen,
Netherlands___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi
83 matches
Mail list logo