default search action
Philip W. Trinder
Phil Trinder
Person information
- affiliation: Glasgow University, School of Mathematical and Computer Sciences
- affiliation: Heriot-Watt University, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j38]Thomas Koehler
, Andrés Goens
Guided Equality Saturation. Proc. ACM Program. Lang. 8(POPL): 1727-1758 (2024) - [c83]Solaris Li
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems. Erlang 2024: 84-95 - 2023
- [j37]Ruairidh MacGregor, Blair Archibald, Phil Trinder:
Generic Exact Combinatorial Search at HPC Scale. Int. J. Parallel Program. 51(1): 83-106 (2023) - [j36]Simon Fowler
Special Delivery: Programming with Mailbox Types. Proc. ACM Program. Lang. 7(ICFP): 78-107 (2023) - [j35]Mart Lubbers
Could Tierless Languages Reduce IoT Development Grief? ACM Trans. Internet Things 4(1): 6:1-6:35 (2023) - [i7]Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder:
Special Delivery: Programming with Mailbox Types (Extended Version). CoRR abs/2306.12935 (2023) - 2022
- [c82]Ruomeng (Cocoa) Xu, Anna Lito Michala, Phil Trinder:
CAEFL: composable and environment aware federated learning models. Erlang Workshop 2022: 9-20 - [c81]Aidan Randtoul, Phil Trinder:
A reliability benchmark for actor-based server languages. Erlang Workshop 2022: 21-32 - [c80]Adrian Ramsingh
Classifying the Reliability of the Microservices Architecture. WEBIST 2022: 21-32 - [e8]José Cano
Euro-Par 2022: Parallel Processing - 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings. Lecture Notes in Computer Science 13440, Springer 2022, ISBN 978-3-031-12596-6 [contents] - [i6]Ignas Knizikevicius, Phil Trinder, Blair Archibald, Jinghua Yan:
Parallel Flowshop in YewPar. CoRR abs/2207.06902 (2022) - [i5]Adrian Ramsingh
Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability. CoRR abs/2207.08019 (2022) - 2021
- [j34]Ivan Valkov, Phil Trinder, Natalia Chechina
Reliable distribution of computational load in robot teams. Auton. Robots 45(3): 351-369 (2021) - [c79]Ruairidh MacGregor, Phil Trinder
Improving GHC Haskell NUMA profiling. FHPNC@ICFP 2021: 1-12 - [i4]Thomas Koehler, Phil Trinder, Michel Steuwer:
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. CoRR abs/2111.13040 (2021) - 2020
- [c78]Dejice Jacob
Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms. DLS 2020: 29-42 - [c77]Mart Lubbers
Tiered versus tierless IoT stacks: comparing smart campus software architectures. IOT 2020: 21:1-21:9 - [c76]Blair Archibald
YewPar: skeletons for exact combinatorial search. PPoPP 2020: 292-307 - [c75]Danail Penev, Phil Trinder:
Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala. WEBIST 2020: 51-58
2010 – 2019
- 2019
- [c74]Dejice Jacob
Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis. DLS 2019: 42-54 - [c73]Blair Archibald
Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par 2019: 184-196 - 2018
- [j33]Blair Archibald
Replicable parallel branch and bound search. J. Parallel Distributed Comput. 113: 92-114 (2018) - [c72]Ivan Valkov, Natalia Chechina, Phil Trinder:
Comparing languages for engineering server software: erlang, go, and scala with akka. SAC 2018: 218-225 - [i3]Martin Braun, Oleg Lobachev, Phil Trinder:
Arrows for Parallel Computation. CoRR abs/1801.02216 (2018) - 2017
- [j32]Phil Trinder
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39(4): 17:1-17:46 (2017) - [j31]Natalia Chechina
Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Trans. Parallel Distributed Syst. 28(8): 2244-2257 (2017) - [c71]Blair Archibald
Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC 2017: 6:1-6:10 - [e7]Phil Trinder, Cosmin E. Oancea:
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017. ACM 2017, ISBN 978-1-4503-5181-2 [contents] - [i2]Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder:
Replicable Parallel Branch and Bound Search. CoRR abs/1703.05647 (2017) - [i1]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:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR abs/1704.07234 (2017) - 2016
- [j30]Reimer Behrends, Kevin Hammond
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28(13): 3606-3636 (2016) - [j29]Robert J. Stewart
Transparent fault tolerance for scalable functional computation. J. Funct. Program. 26: e5 (2016) - [j28]Natalia Chechina
Improving the network scalability of Erlang. J. Parallel Distributed Comput. 90-91: 22-34 (2016) - [j27]André Rauber Du Bois, Phil Trinder:
Selected and extended papers from SBLP 2013. Sci. Comput. Program. 132: 1 (2016) - [c70]Andreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, Phil Trinder:
Towards reliable and scalable robot communication. Erlang Workshop 2016: 12-23 - [c69]Natalia Chechina, Mario Moro Hernandez, Phil Trinder:
A scalable reliable instant messenger using the SD Erlang libraries. Erlang Workshop 2016: 33-41 - [c68]Patrick Maier, John Magnus Morton
JIT costing adaptive skeletons for performance portability. FHPC@ICFP 2016: 23-30 - [c67]John Magnus Morton
JIT-Based Cost Analysis for Dynamic Program Transformations. RAC@ETAPS 2016: 5-25 - [e6]Sam Lindley, Conor McBride
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9600, Springer 2016, ISBN 978-3-319-30935-4 [contents] - 2015
- [c66]Kenneth MacKenzie, Natalia Chechina
Performance portability through semi-explicit placement in distributed Erlang. Erlang Workshop 2015: 27-38 - 2014
- [j26]Patrick Maier, Robert J. Stewart
Reliable scalable symbolic computation: The design of SymGridPar2. Comput. Lang. Syst. Struct. 40(1): 19-35 (2014) - [c65]Jiansen He, Philip Wadler, Philip W. Trinder:
Typecasting actors: from Akka to TAkka. SCALA@ECOOP 2014: 23-33 - [c64]Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder:
High-Performance Computer Algebra: A Hecke Algebra Case Study. Euro-Par 2014: 415-426 - [c63]Patrick Maier, Robert J. Stewart
The HdpH DSLs for scalable reliable computation. Haskell 2014: 65-76 - [c62]Malak Saleh Aljabri
Balancing Shared and Distributed Heaps on NUMA Architectures. Trends in Functional Programming 2014: 1-17 - 2013
- [j25]Philip W. Trinder, M. I. Cole, Kevin Hammond
Resource analyses for parallel and distributed coordination. Concurr. Comput. Pract. Exp. 25(3): 309-348 (2013) - [j24]Steve Linton, Kevin Hammond
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. 49: 95-119 (2013) - [c61]Amir Ghaffari, Natalia Chechina, Phil Trinder, Jon Meredith:
Scalable persistent storage for Erlang: theory and practice. Erlang Workshop 2013: 73-74 - [c60]Malak Saleh Aljabri
The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation. IFL 2013: 37 - [c59]Patrick Maier, Robert J. Stewart
Reliable scalable symbolic computation: the design of SymGridPar2. SAC 2013: 1674-1681 - [e5]André Rauber Du Bois, Phil Trinder:
Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings. Lecture Notes in Computer Science 8129, Springer 2013, ISBN 978-3-642-40921-9 [contents] - 2012
- [j23]Abdallah Al Zain, Philip W. Trinder, Kevin Hammond
Orchestrating computational algebra components into a high-performance parallel system. Int. J. High Perform. Comput. Netw. 7(2): 76-86 (2012) - [c58]Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder:
Architecture-aware cost modelling for parallel performance portability. Software Engineering (Workshops) 2012: 105-120 - [c57]Robert J. Stewart
Supervised Workpools for Reliable Massively Parallel Computing. Trends in Functional Programming 2012: 247-262 - [c56]Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming 2012: 263-278 - [c55]Mustafa Aswad, Philip W. Trinder, Hans-Wolfgang Loidl:
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH). ICCS 2012: 1807-1816 - 2011
- [j22]Natalia Chechina
Redundant movements in autonomous mobility: Experimental and theoretical analysis. J. Parallel Distributed Comput. 71(10): 1278-1292 (2011) - [c54]Robert J. Stewart
Comparing High Level MapReduce Query Languages. APPT 2011: 58-72 - [c53]Patrick Maier, Philip W. Trinder:
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell. IFL 2011: 35-50 - [r1]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Functional Languages. Encyclopedia of Parallel Computing 2011: 744-749 - 2010
- [j21]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Cost-driven autonomous mobility. Comput. Lang. Syst. Struct. 36(1): 34-59 (2010) - [j20]Lu Fan, Philip W. Trinder, Hamish Taylor:
Design issues for Peer-to-Peer Massively Multiplayer Online Games. Int. J. Adv. Media Commun. 4(2): 108-125 (2010) - [j19]Lu Fan, Philip W. Trinder, Hamish Taylor:
Deadline-Driven Auctions for NPC host allocation in P2P MMOGs. Int. J. Adv. Media Commun. 4(2): 140-153 (2010) - [c52]Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder:
Seq no more: better strategies for parallel Haskell. Haskell 2010: 91-102 - [c51]Natalia Chechina, Peter King
Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements. IAT 2010: 343-346 - [c50]Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond:
Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC 2010: 339-346
2000 – 2009
- 2009
- [c49]Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson:
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. FOPARA 2009: 67-83 - [c48]Abdallah Al Zain, Kevin Hammond
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP 2009: 25-36 - [c47]Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold:
Low Pain vs No Pain Multi-core Haskells. Trends in Functional Programming 2009: 49-64 - 2008
- [j18]Jan Henry Nyström, Philip W. Trinder, David J. King:
High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG. Concurr. Comput. Pract. Exp. 20(8): 941-968 (2008) - [j17]Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. IEEE Trans. Parallel Distributed Syst. 19(2): 219-233 (2008) - [c46]Abdallah Al Zain, Philip W. Trinder, Kevin Hammond
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA 2008: 99-112 - 2007
- [j16]Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala:
NOCEA: A rule-based evolutionary algorithm for efficient and effective clustering of massive high-dimensional databases. Appl. Soft Comput. 7(3): 668-710 (2007) - [c45]Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu
SymGrid: A Framework for Symbolic Computation on the Grid. Euro-Par 2007: 457-466 - [c44]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Automatically Costed Autonomous Mobility. IAT 2007: 95-101 - [c43]Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti:
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) 2007: 617-624 - [c42]Jan Henry Nyström, Philip W. Trinder, David J. King:
Evaluating high-level distributed language constructs. ICFP 2007: 203-212 - [c41]Lu Fan, Hamish Taylor, Philip W. Trinder:
Mediator: a design framework for P2P MMOGs. NETGAMES 2007: 43-48 - 2006
- [j15]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Strong Mobility in Mobile Haskell. J. Univers. Comput. Sci. 12(7): 868-884 (2006) - [j14]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Autonomous mobility skeletons. Parallel Comput. 32(7-8): 463-478 (2006) - [j13]Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Managing Heterogeneity in a Grid Parallel Haskell. Scalable Comput. Pract. Exp. 7(3) (2006) - [c40]Philip W. Trinder:
Comparing C++ and ERLANG for motorola telecoms software. Erlang Workshop 2006: 51 - [c39]Xiao Yan Deng, Philip W. Trinder, Greg Michaelson:
Autonomous Mobile Programs. IAT 2006: 177-186 - [c38]Zara Field, Philip W. Trinder, André Rauber Du Bois:
A comparative evaluation of three mobile languages. Mobility Conference 2006: 45 - [e4]Marc Feeley, Philip W. Trinder:
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006. ACM 2006, ISBN 1-59593-490-1 [contents] - 2005
- [j12]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
mHaskell: Mobile Computation in a Purely Functional Language. J. Univers. Comput. Sci. 11(7): 1234-1254 (2005) - [j11]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Towards Mobility Skeletons. Parallel Process. Lett. 15(3): 273-288 (2005) - [c37]Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson:
Managing Heterogeneity in a Grid Parallel Haskell. International Conference on Computational Science (2) 2005: 746-754 - [c36]Jan Henry Nyström, Philip W. Trinder, David J. King:
Are High-Level Languages Suitable for Robust Telecoms Software?. SAFECOMP 2005: 275-288 - [e3]Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder:
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3474, Springer 2005, ISBN 3-540-26094-3 [contents] - 2004
- [e2]Philip W. Trinder, Greg Michaelson, Ricardo Pena:
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145, Springer 2004, ISBN 3-540-23727-5 [contents] - 2003
- [j10]Euan W. Dempster, Neven Tomov, M. Howard Williams, Hamish Taylor, Albert G. Burger, Philip W. Trinder, Jiang Lü, Phil Broughton:
Modelling Parallel Oracle for Performance Prediction. Distributed Parallel Databases 13(3): 251-269 (2003) - [j9]Hans-Wolfgang Loidl, Fernando Rubio
Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 16(3): 203-251 (2003) - [c35]Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala:
Towards effective subspace clustering with an evolutionary algorithm. IEEE Congress on Evolutionary Computation 2003: 797-806 - [c34]Jan Henry Nyström, Philip W. Trinder, David J. King:
Evaluating distributed functional languages for telecommunications software. Erlang Workshop 2003: 1-7 - [c33]Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala:
Mining Comprehensible Clustering Rules with an Evolutionary Algorithm. GECCO 2003: 2301-2312 - [c32]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Implementing Mobile Haskell. Trends in Functional Programming 2003: 79-94 - 2002
- [j8]Yang Jun, Greg Michaelson, Philip W. Trinder:
Explaining Polymorphic Types. Comput. J. 45(4): 436-452 (2002) - [j7]Sahalu B. Junaidu, Philip W. Trinder:
Parallelising large irregular programs: an experience with Naira. Inf. Sci. 140(3-4): 229-240 (2002) - [j6]Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon:
Parallel and Distributed Haskells. J. Funct. Program. 12(4&5): 469-510 (2002) - [c31]Ioannis A. Sarafis, Ali M. S. Zalzala, Philip W. Trinder:
A genetic rule-based data clustering toolkit. IEEE Congress on Evolutionary Computation 2002: 1238-1243 - [c30]André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder:
Thread Migration in a Parallel Graph Reducer. IFL 2002: 199-214 - [c29]André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder:
Implementing Declarative Parallel Bottom-Avoiding Choice. SBAC-PAD 2002: 82-92 - 2001
- [j5]Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz
Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. Parallel Process. Lett. 11(4): 471-486 (2001) - [c28]Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder:
Functional Vs Object-Oriented Distributed Languages. EUROCAST 2001: 642-656 - [c27]Yang Jun, Greg Michaelson, Phil Trinder:
Human and "human-like" type explanations. PPIG 2001: 13 - 2000
- [c26]Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond
The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par 2000: 739-743 - [c25]Clement A. Baker-Finch, David J. King, Philip W. Trinder:
An operational semantics for parallel lazy evaluation. ICFP 2000: 162-173 - [c24]Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl:
The Design and Implementation of Glasgow Distributed Haskell. IFL 2000: 53-70 - [c23]Yang Jun, Greg Michaelson, Phil Trinder:
How do people check polymorphic types? PPIG 2000: 6 - [c22]Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder:
GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Scottish Functional Programming Workshop 2000: 39-52 - [c21]Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl:
Runtime system level fault tolerance for a distributed functional language. Scottish Functional Programming Workshop 2000: 103-114 - [e1]Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999. Trends in Functional Programming 1, Intellect 2000, ISBN 1-84150-024-0 [contents]
1990 – 1999
- 1999
- [j4]Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond
Engineering parallel symbolic programs in GPH. Concurr. Pract. Exp. 11(12): 701-752 (1999) - [p1]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Large Scale Functional Applications. Research Directions in Parallel Functional Programming 1999: 399-426 - 1998
- [j3]Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones:
Algorithms + Strategy = Parallelism. J. Funct. Program. 8(1): 23-60 (1998) - [c20]Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King:
Towards an Operational Semantics for a Parallel Non-Strict Functional Language. IFL 1998: 54-71 - [c19]David J. King, Jon G. Hall, Philip W. Trinder:
A Strategic Profiler for Glasgow Parallel Haskell. IFL 1998: 88-102 - 1997
- [j2]Daniel Kim Chung Chan, Philip W. Trinder:
A processing framework for object comprehensions. Inf. Softw. Technol. 39(9): 641-651 (1997) - [c18]Hans-Wolfgang Loidl, Philip W. Trinder:
Engineering Large Parallel Functional Programs. Implementation of Functional Languages 1997: 178-197 - [c17]Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano:
Parallelising a Large Functional Program or: Keeping LOLITA Busy. Implementation of Functional Languages 1997: 198-213 - 1996
- [c16]Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones:
GUM: A Portable Parallel Implementation of Haskell. PLDI 1996: 79-88 - 1995
- [c15]Kevin Hammond, Philip W. Trinder:
Database Manipulation in Haskell 1.3. Functional Programming 1995: 5 - 1994
- [b2]Norman W. Paton, M. Howard Williams, Richard Cooper, Philip W. Trinder:
Database programming languages - deductive, functional, persistent and object-oriented approaches. Prentice Hall international series in computer science, Prentice Hall 1994, ISBN 978-0-13-101825-9, pp. I-XI, 1-289 - [j1]Daniel Kim Chung Chan, Philip W. Trinder, Ray Welland:
Evaluating Object-Oriented Query Languages. Comput. J. 37(10): 858-872 (1994) - [c14]Daniel Kim Chung Chan, Philip W. Trinder:
Object Comprehensions: A Query Notation for Object-Oriented Databases. BNCOD 1994: 55-72 - [c13]Phil Trinder:
Data Dependent Concurrency Control. Functional Programming 1994: 231-244 - [c12]Daniel Kim Chung Chan, Philip W. Trinder:
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. Z User Workshop 1994: 297-315 - 1993
- [c11]Daniel Kim Chung Chan, David J. Harper, Philip W. Trinder:
A Case Study of Object-Oriented Query Languages. CISMOD 1993: 63-86 - [c10]Dag I. K. Sjøberg, Malcolm P. Atkinson, João Lopes, Philip W. Trinder:
Building an Integrated Persistent Application. DBPL 1993: 359-375 - [c9]Daniel Kim Chung Chan, David J. Harper, Philip W. Trinder:
An Object-Oriented Data Model Specification. ICCI 1993: 453-457 - [c8]Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder:
Processing Transactions on GRIP, a Parallel Graph Reducer. PARLE 1993: 634-647 - 1992
- [c7]Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder:
Improving Persistent Data Manipulation for Functional Languages. Functional Programming 1992: 72-84 - 1991
- [c6]Philip W. Trinder:
Comprehensions, a Query Notation for DBPLs. DBPL 1991: 55-68 - [c5]Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder:
A Parallel Functional Database on GRIP. Functional Programming 1991: 1-24 - 1990
- [c4]Malcolm P. Atkinson, Philippe Richard, Philip W. Trinder:
Bulk Types for Large Scale Programming. East/West Database Workshop 1990: 228-250 - [c3]Phil Trinder:
Concurrent Data Manipulation in a Pure Functional Language. Functional Programming 1990: 274-286
1980 – 1989
- 1989
- [b1]Phil Trinder:
A functional database. University of Oxford, UK, 1989 - [c2]Philip W. Trinder:
Referentially Transparent Database Languages. Functional Programming 1989: 142-156 - 1987
- [c1]Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury:
Implementing Functional Databases. DBPL 1987: 165-176
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 01:17 CEST 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: