http://ewic.bcs.org/conferences/1995/functional/index.htm"

• 
  Erik Barendsen, Sjaak Smetsers: Uniqueness Typing in Natural Deduction Style. 1
• 
  Simon P. Booth, Simon B. Jones: Towards a Purely Functional Debugger for Functional Programs. 1
• 
  Silvia Breitinger, Rita Loogen: Towards a Declarative Language for Parallel and Concurrent Programming. 2
• 
  Manuel M. T. Chakravarty: Integrating Multithreading into the Spineless Tagless G-machine. 2
• 
  Graham Collins: Supporting Reasoning about Functional Programs: An Operational Approach. 3
• 
  Antony J. T. Davie: Algebraic Formula Manipulation in a Functional Language: A First Attempt. 3
• 
  Sigbjorn Finne, Simon L. Peyton Jones: Picture: A Simple Structured Graphics Model. 4
• 
  Andy Gill: The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. 4
• 
  Simon Govier, Paul H. J. Kelly: A Lazy, Self-optimizing Parallel Matrix Library. 5
• 
  Kevin Hammond, Philip W. Trinder: Database Manipulation in Haskell 1.3. 5
• 
  Ian Holyer, Neil Davies, Chris Dornan: The Brisk Project: Concurrent and Distributed Functional Systems. 6
• 
  Howard Huang, Uday S. Reddy: Type Reconstruction for SCI. 6
• 
  Simon B. Jones: Experiences with Clean I/O. 7
• 
  Mark P. Jones, Paul Hudak, Sebastian Shaumyan: Using Types to Parse Natural Language. 7
• 
  Herbert Kuchen: A Functional Logic Language Based on Higher Order Narrowing. 8
• 
  Hans-Wolfgang Loidl, Kevin Hammond: On the Granularity of Divide-and-Conquer Parallelism. 8
• 
  John O'Donnell, Gudula Rünger: Formal Specification of Interconnection Networks. 9

last updated on Tue May 21 01:59:36 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page