477
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Proceedings of the 1995 Glasgow Workshop on Functional Programming - Index

      proceedings-article

      Proceedings of the 1995 Glasgow Workshop on Functional Programming (FP)

      Functional Programming

      10-12 July 1995

      Bookmark

            Main article text

            Papers:

            E. Barendsen & S. Smetse Uniqueness Typing in Natural Deduction Style http://dx.doi.org/10.14236/ewic/FP1995.1

            S. Booth & S.B. Jones Towards a Purely Functional Debugger for Functional Programs http://dx.doi.org/10.14236/ewic/FP1995.2

            M.M.T. Chakravarty Integrating Multithreading into the Spineless Tagless G-machine http://dx.doi.org/10.14236/ewic/FP1995.3

            G. Collins Supporting Reasoning about Functional Programs: An Operational Approach http://dx.doi.org/10.14236/ewic/FP1995.4

            A.J.T. Davie Algebraic Formula Manipulation in a Functional Language: A First Attempt http://dx.doi.org/10.14236/ewic/FP1995.5

            S. Finne & S.P. Jones Pictures: A Simple Structured Graphics Model http://dx.doi.org/10.14236/ewic/FP1995.6

            A. Gill The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant http://dx.doi.org/10.14236/ewic/FP1995.7

            S. Govier & P.H.J. Kellyill A Lazy, Self-optimising Parallel Matrix Library http://dx.doi.org/10.14236/ewic/FP1995.8

            K. Hammond & P. Trinder Database Manipulation in Haskell 1.3 http://dx.doi.org/10.14236/ewic/FP1995.9

            I. Holyer, N. Davies & C. Dornan The Brisk Project: Concurrent and Distributed Functional Systems http://dx.doi.org/10.14236/ewic/FP1995.10

            H. Huang & U. Reddy Type Reconstruction for SCI http://dx.doi.org/10.14236/ewic/FP1995.11

            H. Kuchen A Functional Logic Language Based on Higher Order Narrowing http://dx.doi.org/10.14236/ewic/FP1995.12

            H.W. Loidl & K. Hammond On the Granularity of Divide-and-Conquer Parallelism http://dx.doi.org/10.14236/ewic/FP1995.13

            M.P. Jones, P. Hudak & S. Shaumya Using Types to Parse Natural Language http://dx.doi.org/10.14236/ewic/FP1995.14

            J. O'Donnell & G. Rünger Formal Specification of Interconnection Networks http://dx.doi.org/10.14236/ewic/FP1995.15

            S.B. Jones Experiences with Clean I/O http://dx.doi.org/10.14236/ewic/FP1995.16

            Author and article information

            Conference
            July 1995
            July 1995
            Article
            10.14236/ewic/FP1995.0
            818a460b-50e0-42cf-a789-1768c7f1a12a

            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/

            Proceedings of the 1995 Glasgow Workshop on Functional Programming
            FP
            Glasgow, UK
            10-12 July 1995
            Electronic Workshops in Computing (eWiC)
            Functional Programming
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article