default search action
Functional Programming 1995: Ullapool, Wester Ross, Scotland, UK
- David N. Turner:
Functional Programming, Glasgow, UK, 1995. Workshops in Computing, Springer 1996, ISBN 3-540-14580-X - Erik Barendsen, Sjaak Smetsers:
Uniqueness Typing in Natural Deduction Style. Functional Programming 1995: 1 - Simon P. Booth, Simon B. Jones:
Towards a Purely Functional Debugger for Functional Programs. Functional Programming 1995: 1 - Silvia Breitinger, Rita Loogen:
Towards a Declarative Language for Parallel and Concurrent Programming. Functional Programming 1995: 2 - Manuel M. T. Chakravarty:
Integrating Multithreading into the Spineless Tagless G-machine. Functional Programming 1995: 2 - Graham Collins:
Supporting Reasoning about Functional Programs: An Operational Approach. Functional Programming 1995: 3 - Antony J. T. Davie:
Algebraic Formula Manipulation in a Functional Language: A First Attempt. Functional Programming 1995: 3 - Sigbjørn Finne, Simon L. Peyton Jones:
Picture: A Simple Structured Graphics Model. Functional Programming 1995: 4 - Andy Gill:
The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Functional Programming 1995: 4 - Simon Govier, Paul H. J. Kelly:
A Lazy, Self-optimizing Parallel Matrix Library. Functional Programming 1995: 5 - Kevin Hammond, Philip W. Trinder:
Database Manipulation in Haskell 1.3. Functional Programming 1995: 5 - Ian Holyer, Neil Davies, Chris Dornan:
The Brisk Project: Concurrent and Distributed Functional Systems. Functional Programming 1995: 6 - Howard Huang, Uday S. Reddy:
Type Reconstruction for SCI. Functional Programming 1995: 6 - Simon B. Jones:
Experiences with Clean I/O. Functional Programming 1995: 7 - Mark P. Jones, Paul Hudak, Sebastian Shaumyan:
Using Types to Parse Natural Language. Functional Programming 1995: 7 - Herbert Kuchen:
A Functional Logic Language Based on Higher Order Narrowing. Functional Programming 1995: 8 - Hans-Wolfgang Loidl, Kevin Hammond:
On the Granularity of Divide-and-Conquer Parallelism. Functional Programming 1995: 8 - John O'Donnell, Gudula Rünger:
Formal Specification of Interconnection Networks. Functional Programming 1995: 9
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.
last updated on 2024-12-19 22:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: