论文与出版物 A Tutorial on Co-induction and Functional Programming Andy Gordon Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland | September 1994 ISBN: 9783540199144
论文与出版物 Execution profiling for non-strict functional languages Patrick Sansom, Simon Peyton Jones September 1994 博士论文:University of Glasgow | September 1994
论文与出版物 The undecidability of aliasing G. Ramalingam Journal ACM Transactions on Programming Languages and Systems (TOPLAS) | September 1994
论文与出版物 On competitive on-line algorithms for the dynamic priority-ordering problem G. Ramalingam, Thomas Reps August 1994
论文与出版物 Evolving Algebras and Partial Evaluation Yuri Gurevich, James K. Huggins IFIP 1994 World Computing Congress, Volume 1: Technology and Foundations | July 1994
论文与出版物 Lazy functional state threads J Launchbury, SL Peyton Jones, Simon Peyton Jones ACM Conference on Programming Languages Design and Implementation, Orlando (PLDI’94) | June 1994 ACM Conference on Programming Languages Design and Implementation, Orlando (PLDI'94)
论文与出版物 Type classes in Haskell K Hammond, SL Peyton Jones, PL Wadler, CV Hall, Simon Peyton Jones ACM Transactions on Programming Languages and Systems, European Symposium on Programming (ESOP’94) | April 1994 European Symposium on Programming (ESOP'94)
论文与出版物 Decision-Theoretic Foundations for Causal Reasoning David Heckerman, Ross Shachter MSR-TR-94-11 | March 1994