+1 Recommend
1 collections
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Workshop on Mathematically Structured Functional Programming (MSFP 2006) - Index


      Workshop on Mathematically Structured Functional Programming (MSFP 2006) (MSFP)

      Mathematically Structured Functional Programming

      2 July 2006

      Overview Bookmark


            This volume contains the proceedings of the inaugural Workshop on Mathematically Structured Functional Programming, MSFP 2006, held at Kuressaare, Estonia, 2 July 2006, as a satellite workshop of the 8th International Conference on Mathematics of Program Construction, MPC 2006, which followed 3-5 July.

            The motivation for this new workshop was to promote the use of structures originating from mathematics or mathematical semantics in functional programming practice, via language/tool support or by direct expression in programs themselves.

            It is good to give a mathematical analysis of computational phenomena, but the work we have collected here pushes the other way too, delivering functionality from structure.

            MSFP 2006 received 16 submissions. Each submitted paper was refereed by three or more Programme Committee members and additional referees. The PC decided to accept the 9 papers published here for presentation at the workshop.

            In addition, the programme of the workshop featured two invited talks by Andrzej Filinski (Københavns Universitet, Denmark) and John Power (University of Edinburgh, UK).

            MSFP 2006 was an official "small workshop" of the EU FP6 IST coordination action TYPES - Types for Proofs and Programs. We are grateful to the Steering Committee of TYPES for their support.

            We are also thankful to Andrei Voronkov for allowing us to use his EasyChair programme chair assistant and BCS for their help in publishing these proceedings.

            Most of all, we thank our contributors, who have produced writing which is good not only to read but also to run. We are delighted to have received and published these papers, and we look forward eagerly to the next MSFP.

            Conor McBride

            Tarmo Uustalu

            MSFP programme co-chairs

            Nottingham and Tallinn, May 2006

            Main article text


            Programme Co-chairs

            Conor McBride (University of Nottingham, UK)

            Tarmo Uustalu (Institute of Cybernetics, Estonia)

            Programme Committee

            Yves Bertot (INRIA Sophia Antipolis, France)

            Marcelo Fiore (University of Cambridge, UK)

            Masahito Hasegawa (Kyoto University, Japan)

            Graham Hutton (University of Nottingham, UK)

            Paul Levy (University of Birmingham, UK)

            Andres Löh (Universität Bonn, Germany)

            Christoph Lüth (Universität Bremen, Germany)

            Marino Miculan (Università degli Studi di Udine, Italy)

            Randy Pollack (University of Edinburgh, UK)

            Amr Sabry (Indiana University, USA)

            Additional Referees

            Robin Adams, Edwin Brady, Pietro Di Gianantonio, Fabio Gadducci, Neil Ghani, Healfdene Goguen, Jevgeni Kabanov, Ralph Matthes, James McKinna, Varmo Vene

            Host Institution

            Institute of Cybernetics at Tallinn University of Technology


            This conference was sponsored by EU FP6 IST coordination action TYPES - Types for Proofs and Programs and Center for Dependable Computing of the National Centers of Excellence Programme of the Estonian Ministry of Education and Research.


            Andrzej Filinski Monadic Reflection in Haskell http://dx.doi.org/10.14236/ewic/MSFP2006.1

            John Power The Universal Algebra of Computational Effects: Lawvere Theories and Monads http://dx.doi.org/10.14236/ewic/MSFP2006.2

            Andreas Abel Implementing a Normalizer Using Sized Heterogeneous Types http://dx.doi.org/10.14236/ewic/MSFP2006.3

            Thorsten Altenkirch and James Chapman Tait in One Big Step http://dx.doi.org/10.14236/ewic/MSFP2006.4

            Robert Atkey Parameterised Notions of Computation http://dx.doi.org/10.14236/ewic/MSFP2006.5

            Facundo Domínguez and Alberto Pardo Program Fusion with Paramorphisms http://dx.doi.org/10.14236/ewic/MSFP2006.6

            Jeremy Gibbons and Bruno C. d. S. Oliveira The Essence of the ITERATOR Pattern http://dx.doi.org/10.14236/ewic/MSFP2006.7

            Catherine Hope and Graham Hutton Compact Fusion http://dx.doi.org/10.14236/ewic/MSFP2006.8

            Bart Jacobs and Ichiro Hasuo Freyd is Kleisli, for Arrows http://dx.doi.org/10.14236/ewic/MSFP2006.9

            Ralph Matthes Verification of Programs on Truly Nested Datatypes in Intensional Type Theory http://dx.doi.org/10.14236/ewic/MSFP2006.10

            Michael Spivey Algebras for Combinatorial Search http://dx.doi.org/10.14236/ewic/MSFP2006.11

            Author and article information

            July 2006
            July 2006

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Workshop on Mathematically Structured Functional Programming (MSFP 2006)
            Kuressaare, Estonia
            2 July 2006
            Electronic Workshops in Computing (eWiC)
            Mathematically Structured Functional Programming
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Electronic Workshops in Computing


            Comment on this article