default search action

combined dblp search
author search
venue search
publication search

ask others

Functional Programming 1995: Ullapool, Wester Ross, Scotland, UK

> Home > Conferences and Workshops > Functional Programming

Refine list

refinements active!

zoomed in on 18 of 18 records

view refined list in

export refined list as

showing all 18 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/1995
David N. Turner:
Functional Programming, Glasgow, UK, 1995. Workshops in Computing, Springer 1996, ISBN 3-540-14580-X
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/BarendsenS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/BarendsenS95
Erik Barendsen, Sjaak Smetsers:
Uniqueness Typing in Natural Deduction Style. Functional Programming 1995: 1
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/BoothJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/BoothJ95
Simon P. Booth, Simon B. Jones:
Towards a Purely Functional Debugger for Functional Programs. Functional Programming 1995: 1
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/BreitingerL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/BreitingerL95
Silvia Breitinger, Rita Loogen:
Towards a Declarative Language for Parallel and Concurrent Programming. Functional Programming 1995: 2
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/Chakravarty95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Chakravarty95
Manuel M. T. Chakravarty:
Integrating Multithreading into the Spineless Tagless G-machine. Functional Programming 1995: 2
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/Collins95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Collins95
Graham Collins:
Supporting Reasoning about Functional Programs: An Operational Approach. Functional Programming 1995: 3
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/Davie95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Davie95
Antony J. T. Davie:
Algebraic Formula Manipulation in a Functional Language: A First Attempt. Functional Programming 1995: 3
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/FinneJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/FinneJ95
Sigbjørn Finne, Simon L. Peyton Jones:
Picture: A Simple Structured Graphics Model. Functional Programming 1995: 4
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/Gill95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Gill95
Andy Gill:
The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Functional Programming 1995: 4
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/GovierK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/GovierK95
Simon Govier, Paul H. J. Kelly:
A Lazy, Self-optimizing Parallel Matrix Library. Functional Programming 1995: 5
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/HammondT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/HammondT95
Kevin Hammond, Philip W. Trinder:
Database Manipulation in Haskell 1.3. Functional Programming 1995: 5
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/HolyerDD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/HolyerDD95
Ian Holyer, Neil Davies, Chris Dornan:
The Brisk Project: Concurrent and Distributed Functional Systems. Functional Programming 1995: 6
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/HuangR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/HuangR95
Howard Huang, Uday S. Reddy:
Type Reconstruction for SCI. Functional Programming 1995: 6
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/Jones95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Jones95
Simon B. Jones:
Experiences with Clean I/O. Functional Programming 1995: 7
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/JonesHS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/JonesHS95
Mark P. Jones, Paul Hudak, Sebastian Shaumyan:
Using Types to Parse Natural Language. Functional Programming 1995: 7
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/Kuchen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Kuchen95
Herbert Kuchen:
A Functional Logic Language Based on Higher Order Narrowing. Functional Programming 1995: 8
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/LoidlH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/LoidlH95
Hans-Wolfgang Loidl, Kevin Hammond:
On the Granularity of Divide-and-Conquer Parallelism. Functional Programming 1995: 8
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/ODonnellR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/ODonnellR95
John O'Donnell, Gudula Rünger:
Formal Specification of Interconnection Networks. Functional Programming 1995: 9
no results

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.