The SCEAS System
Navigation Menu

Conferences in DBLP

Functional Programming Workshops (fp)
1995 (conf/fp/1995)

  1. Erik Barendsen, Sjaak Smetsers
    Uniqueness Typing in Natural Deduction Style. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:1- [Conf]
  2. Simon P. Booth, Simon B. Jones
    Towards a Purely Functional Debugger for Functional Programs. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:1- [Conf]
  3. Silvia Breitinger, Rita Loogen
    Towards a Declarative Language for Parallel and Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:2- [Conf]
  4. Manuel M. T. Chakravarty
    Integrating Multithreading into the Spineless Tagless G-machine. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:2- [Conf]
  5. Graham Collins
    Supporting Reasoning about Functional Programs: An Operational Approach. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:3- [Conf]
  6. Antony J. T. Davie
    Algebraic Formula Manipulation in a Functional Language: A First Attempt. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:3- [Conf]
  7. Andy Gill
    The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:4- [Conf]
  8. Sigbjorn Finne, Simon L. Peyton Jones
    Picture: A Simple Structured Graphics Model. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:4- [Conf]
  9. Simon Govier, Paul H. J. Kelly
    A Lazy, Self-optimizing Parallel Matrix Library. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:5- [Conf]
  10. Kevin Hammond, Philip W. Trinder
    Database Manipulation in Haskell 1.3. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:5- [Conf]
  11. Ian Holyer, Neil Davies, Chris Dornan
    The Brisk Project: Concurrent and Distributed Functional Systems. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:6- [Conf]
  12. Howard Huang, Uday S. Reddy
    Type Reconstruction for SCI. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:6- [Conf]
  13. Simon B. Jones
    Experiences with Clean I/O. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:7- [Conf]
  14. Mark P. Jones, Paul Hudak, Sebastian Shaumyan
    Using Types to Parse Natural Language. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:7- [Conf]
  15. Herbert Kuchen
    A Functional Logic Language Based on Higher Order Narrowing. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:8- [Conf]
  16. Hans-Wolfgang Loidl, Kevin Hammond
    On the Granularity of Divide-and-Conquer Parallelism. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:8- [Conf]
  17. John O'Donnell, Gudula Rünger
    Formal Specification of Interconnection Networks. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:9- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002