Philip W. Trinder

According to our database, Philip W. Trinder authored at least 127 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Guided Equality Saturation.

Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer

Proc. ACM Program. Lang., January, 2024

2023

Special Delivery: Programming with Mailbox Types.

Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

Proc. ACM Program. Lang., August, 2023

Could Tierless Languages Reduce IoT Development Grief?

Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder

ACM Trans. Internet Things, February, 2023

Generic Exact Combinatorial Search at HPC Scale.

Ruairidh MacGregor, Blair Archibald, Phil Trinder

Int. J. Parallel Program., February, 2023

Special Delivery: Programming with Mailbox Types (Extended Version).

Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

CoRR, 2023

2022

Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability.

Adrian Ramsingh, Jeremy Singer, Phil Trinder

CoRR, 2022

Parallel Flowshop in YewPar.

Ignas Knizikevicius, Phil Trinder, Blair Archibald, Jinghua Yan

CoRR, 2022

Classifying the Reliability of the Microservices Architecture.

Adrian Ramsingh, Jeremy Singer, Phil Trinder

Proceedings of the 18th International Conference on Web Information Systems and Technologies, 2022

CAEFL: composable and environment aware federated learning models.

Ruomeng (Cocoa) Xu, Anna Lito Michala, Phil Trinder

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

A reliability benchmark for actor-based server languages.

Aidan Randtoul, Phil Trinder

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2021

Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings.

Thomas Koehler, Phil Trinder, Michel Steuwer

CoRR, 2021

Reliable distribution of computational load in robot teams.

Ivan Valkov, Phil Trinder, Natalia Chechina

Auton. Robots, 2021

Improving GHC Haskell NUMA profiling.

Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl

Proceedings of the FHPNC 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2021

2020

Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala.

Danail Penev, Phil Trinder

Proceedings of the 16th International Conference on Web Information Systems and Technologies, 2020

YewPar: skeletons for exact combinatorial search.

Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Tiered versus tierless IoT stacks: comparing smart campus software architectures.

Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder

Proceedings of the IoT '20: 10th International Conference on the Internet of Things, 2020

Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms.

Dejice Jacob, Phil Trinder, Jeremy Singer

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019

Implementing YewPar: A Framework for Parallel Tree Search.

Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder

Proceedings of the Euro-Par 2019: Parallel Processing, 2019

Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis.

Dejice Jacob, Phil Trinder, Jeremy Singer

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018

Replicable parallel branch and bound search.

Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder

J. Parallel Distributed Comput., 2018

Arrows for Parallel Computation.

Martin Braun, Oleg Lobachev, Phil Trinder

CoRR, 2018

Comparing languages for engineering server software: erlang, go, and scala with akka.

Ivan Valkov, Natalia Chechina, Phil Trinder

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Evaluating Scalable Distributed Erlang for Scalability and Reliability.

Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez

IEEE Trans. Parallel Distributed Syst., 2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.

Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad

ACM Trans. Program. Lang. Syst., 2017

Towards Generic Scalable Parallel Combinatorial Search.

Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule

Proceedings of the International Workshop on Parallel Symbolic Computation, 2017

2016

Selected and extended papers from SBLP 2013.

André Rauber Du Bois, Phil Trinder

Sci. Comput. Program., 2016

Improving the network scalability of Erlang.

Natalia Chechina, Huiqing Li, Amir Ghaffari, Simon J. Thompson, Phil Trinder

J. Parallel Distributed Comput., 2016

Transparent fault tolerance for scalable functional computation.

Robert J. Stewart, Patrick Maier, Phil Trinder

J. Funct. Program., 2016

JIT-Based Cost Analysis for Dynamic Program Transformations.

John Magnus Morton, Patrick Maier, Phil Trinder

Proceedings of the Resource Aware Computing, 2016

HPC-GAP: engineering a 21st-century high-performance computer algebra system.

Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder

Concurr. Comput. Pract. Exp., 2016

JIT costing adaptive skeletons for performance portability.

Patrick Maier, John Magnus Morton, Phil Trinder

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Towards reliable and scalable robot communication.

Andreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, Phil Trinder

Proceedings of the 15th International Workshop on Erlang, 2016

A scalable reliable instant messenger using the SD Erlang libraries.

Natalia Chechina, Mario Moro Hernandez, Phil Trinder

Proceedings of the 15th International Workshop on Erlang, 2016

2015

Performance portability through semi-explicit placement in distributed Erlang.

Kenneth MacKenzie, Natalia Chechina, Phil Trinder

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014

Reliable scalable symbolic computation: The design of SymGridPar2.

Patrick Maier, Robert J. Stewart, Philip W. Trinder

Comput. Lang. Syst. Struct., 2014

Balancing Shared and Distributed Heaps on NUMA Architectures.

Malak Saleh Aljabri, Hans-Wolfgang Loidl, Phil Trinder

Proceedings of the Trends in Functional Programming, 2014

The HdpH DSLs for scalable reliable computation.

Patrick Maier, Robert J. Stewart, Phil Trinder

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

High-Performance Computer Algebra: A Hecke Algebra Case Study.

Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder

Proceedings of the Euro-Par 2014 Parallel Processing, 2014

Typecasting actors: from Akka to TAkka.

Jiansen He, Philip Wadler, Philip W. Trinder

Proceedings of the Fifth Annual Scala Workshop, 2014

2013

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.

Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond

J. Symb. Comput., 2013

Resource analyses for parallel and distributed coordination.

Philip W. Trinder, M. I. Cole, Kevin Hammond, Hans-Wolfgang Loidl, Greg Michaelson

Concurr. Comput. Pract. Exp., 2013

The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation.

Malak Saleh Aljabri, Hans-Wolfgang Loidl, Philip W. Trinder

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Scalable persistent storage for Erlang: theory and practice.

Amir Ghaffari, Natalia Chechina, Phil Trinder, Jon Meredith

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2012

Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH).

Mustafa Aswad, Philip W. Trinder, Hans-Wolfgang Loidl

Proceedings of the International Conference on Computational Science, 2012

Orchestrating computational algebra components into a high-performance parallel system.

Abdallah Al Zain, Philip W. Trinder, Kevin Hammond

Int. J. High Perform. Comput. Netw., 2012

Supervised Workpools for Reliable Massively Parallel Computing.

Robert J. Stewart, Phil Trinder, Patrick Maier

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper).

Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Architecture-aware cost modelling for parallel performance portability.

Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

2011

Functional Languages.

Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond

Proceedings of the Encyclopedia of Parallel Computing, 2011

Redundant movements in autonomous mobility: Experimental and theoretical analysis.

Natalia Chechina, Peter King, Phil Trinder

J. Parallel Distributed Comput., 2011

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell.

Patrick Maier, Philip W. Trinder

Proceedings of the Implementation and Application of Functional Languages, 2011

Comparing High Level MapReduce Query Languages.

Robert J. Stewart, Philip W. Trinder, Hans-Wolfgang Loidl

Proceedings of the Advanced Parallel Processing Technologies - 9th International Symposium, 2011

2010

Deadline-Driven Auctions for NPC host allocation in P2P MMOGs.

Lu Fan, Philip W. Trinder, Hamish Taylor

Int. J. Adv. Media Commun., 2010

Design issues for Peer-to-Peer Massively Multiplayer Online Games.

Lu Fan, Philip W. Trinder, Hamish Taylor

Int. J. Adv. Media Commun., 2010

Cost-driven autonomous mobility.

Xiao Yan Deng, Greg Michaelson, Philip W. Trinder

Comput. Lang. Syst. Struct., 2010

Easy composition of symbolic computation software: a new lingua franca for symbolic computation.

Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements.

Natalia Chechina, Peter King, Phil Trinder

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Seq no more: better strategies for parallel Haskell.

Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009

Low Pain vs No Pain Multi-core Haskells.

Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.

Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Characterising Effective Resource Analyses for Parallel and Distributed Coordination.

Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

2008

Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs.

Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl

IEEE Trans. Parallel Distributed Syst., 2008

High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG.

Jan Henry Nyström, Philip W. Trinder, David J. King

Concurr. Comput. Pract. Exp., 2008

Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System.

Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

2007

NOCEA: A rule-based evolutionary algorithm for efficient and effective clustering of massive high-dimensional databases.

Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala

Appl. Soft Comput., 2007

Mediator: a design framework for P2P MMOGs.

Lu Fan, Hamish Taylor, Philip W. Trinder

Proceedings of the 6th Workshop on Network and System Support for Games, 2007

Evaluating high-level distributed language constructs.

Jan Henry Nyström, Philip W. Trinder, David J. King

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids.

Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Automatically Costed Autonomous Mobility.

Xiao Yan Deng, Greg Michaelson, Philip W. Trinder

Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007

SymGrid: A Framework for Symbolic Computation on the Grid.

Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder

Proceedings of the Euro-Par 2007, 2007

2006

Managing Heterogeneity in a Grid Parallel Haskell.

Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl

Scalable Comput. Pract. Exp., 2006

Autonomous mobility skeletons.

Xiao Yan Deng, Greg Michaelson, Philip W. Trinder

Parallel Comput., 2006

Strong Mobility in Mobile Haskell.

André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl

J. Univers. Comput. Sci., 2006

A comparative evaluation of three mobile languages.

Zara Field, Philip W. Trinder, André Rauber Du Bois

Proceedings of the 3rd international conference on Mobile technology, 2006

Autonomous Mobile Programs.

Xiao Yan Deng, Philip W. Trinder, Greg Michaelson

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Comparing C++ and ERLANG for motorola telecoms software.

Philip W. Trinder

Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

2005

Towards Mobility Skeletons.

André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl

Parallel Process. Lett., 2005

mHaskell: Mobile Computation in a Purely Functional Language.

André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl

J. Univers. Comput. Sci., 2005

Are High-Level Languages Suitable for Robust Telecoms Software?.

Jan Henry Nyström, Philip W. Trinder, David J. King

Proceedings of the Computer Safety, 2005

2003

Comparing Parallel Functional Languages: Programming and Performance.

Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder

High. Order Symb. Comput., 2003

Modelling Parallel Oracle for Performance Prediction.

Euan W. Dempster, Neven Tomov, M. Howard Williams, Hamish Taylor, Albert G. Burger, Philip W. Trinder, Jiang Lü, Phil Broughton

Distributed Parallel Databases, 2003

Implementing Mobile Haskell.

André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

Mining Comprehensible Clustering Rules with an Evolutionary Algorithm.

Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala

Proceedings of the Genetic and Evolutionary Computation, 2003

Evaluating distributed functional languages for telecommunications software.

Jan Henry Nyström, Philip W. Trinder, David J. King

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

Towards effective subspace clustering with an evolutionary algorithm.

Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002

Parallel and Distributed Haskells.

Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon

J. Funct. Program., 2002

Parallelising large irregular programs: an experience with Naira.

Sahalu B. Junaidu, Philip W. Trinder

Inf. Sci., 2002

Explaining Polymorphic Types.

Yang Jun, Greg Michaelson, Philip W. Trinder

Comput. J., 2002

Implementing Declarative Parallel Bottom-Avoiding Choice.

André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder

Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

Thread Migration in a Parallel Graph Reducer.

André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

A genetic rule-based data clustering toolkit.

Ioannis A. Sarafis, Ali M. S. Zalzala, Philip W. Trinder

Proceedings of the 2002 Congress on Evolutionary Computation, 2002

2001

Tuning Task Granularity and Data Locality of Data Parallel GPH Programs.

Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz

Parallel Process. Lett., 2001

Human and "human-like" type explanations.

Yang Jun, Greg Michaelson, Phil Trinder

Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, 2001

Functional Vs Object-Oriented Distributed Languages.

Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder

Proceedings of the Computer Aided Systems Theory, 2001

2000

Runtime system level fault tolerance for a distributed functional language.

Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster.

Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

How do people check polymorphic types?

Yang Jun, Greg Michaelson, Phil Trinder

Proceedings of the 12th Annual Workshop of the Psychology of Programming Interest Group, 2000

The Design and Implementation of Glasgow Distributed Haskell.

Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

An operational semantics for parallel lazy evaluation.

Clement A. Baker-Finch, David J. King, Philip W. Trinder

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note).

Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Engineering parallel symbolic programs in GPH.

Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones

Concurr. Pract. Exp., 1999

Large Scale Functional Applications.

Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond

Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998

Algorithms + Strategy = Parallelism.

Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones

J. Funct. Program., 1998

A Strategic Profiler for Glasgow Parallel Haskell.

David J. King, Jon G. Hall, Philip W. Trinder

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

Towards an Operational Semantics for a Parallel Non-Strict Functional Language.

Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997

A processing framework for object comprehensions.

Daniel Kim Chung Chan, Philip W. Trinder

Inf. Softw. Technol., 1997

Engineering Large Parallel Functional Programs.

Hans-Wolfgang Loidl, Philip W. Trinder

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Parallelising a Large Functional Program or: Keeping LOLITA Busy.

Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

GUM: A Portable Parallel Implementation of Haskell.

Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995

Database Manipulation in Haskell 1.3.

Kevin Hammond, Philip W. Trinder

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994

Evaluating Object-Oriented Query Languages.

Daniel Kim Chung Chan, Philip W. Trinder, Ray Welland

Comput. J., 1994

An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z.

Daniel Kim Chung Chan, Philip W. Trinder

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Data Dependent Concurrency Control.

Phil Trinder

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Object Comprehensions: A Query Notation for Object-Oriented Databases.

Daniel Kim Chung Chan, Philip W. Trinder

Proceedings of the Directions in Databases, 12th British National Conference on Databases, 1994

Database programming languages - deductive, functional, persistent and object-oriented approaches.

Norman W. Paton, M. Howard Williams, Richard Cooper, Philip W. Trinder

Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-101825-9, 1994

1993

Processing Transactions on GRIP, a Parallel Graph Reducer.

Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder

Proceedings of the PARLE '93, 1993

An Object-Oriented Data Model Specification.

Daniel Kim Chung Chan, David J. Harper, Philip W. Trinder

Proceedings of the Computing and Information, 1993

Building an Integrated Persistent Application.

Dag I. K. Sjøberg, Malcolm P. Atkinson, João Lopes, Philip W. Trinder

Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

A Case Study of Object-Oriented Query Languages.

Daniel Kim Chung Chan, David J. Harper, Philip W. Trinder

Proceedings of the International Conference on Information Systems and Management of Data, 1993

1992

Improving Persistent Data Manipulation for Functional Languages.

Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder

Proceedings of the Functional Programming, 1992

1991

A Parallel Functional Database on GRIP.

Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder

Proceedings of the Functional Programming, 1991

Comprehensions, a Query Notation for DBPLs.

Philip W. Trinder

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990

Concurrent Data Manipulation in a Pure Functional Language.

Phil Trinder

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

Bulk Types for Large Scale Programming.

Malcolm P. Atkinson, Philippe Richard, Philip W. Trinder

Proceedings of the Next Generation Information System Technology, 1990

1989

A functional database.

Phil Trinder

PhD thesis, 1989

Referentially Transparent Database Languages.

Philip W. Trinder

Proceedings of the Functional Programming, 1989

1987

Implementing Functional Databases.

Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury

Proceedings of the Advances in Database Programming Languages, 1987