Peter A. Morris

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Indexed containers Journal of Functional Programming	2017-10-23	Paper
The gentle art of levitation Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
A categorical semantics for inductive-inductive definitions Algebra and Coalgebra in Computer Science	2011-09-02	Paper
A UNIVERSE OF STRICTLY POSITIVE FAMILIES International Journal of Foundations of Computer Science	2009-04-14	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2006-11-13	Paper
scientific article; zbMATH DE number 653257 (Why is no real title available?)	1995-01-09	Paper
A State-of-the-World Decomposition Approach to Dynamics and Uncertainty in Electric Utility Generation Expansion Planning Operations Research	1984-01-01	Paper
scientific article; zbMATH DE number 3795955 (Why is no real title available?)	1981-01-01	Paper
Multiattribute Decision Making by Sequential Resource Allocation Operations Research	1980-01-01	Paper
Combining Expert Judgments: A Bayesian Approach Management Science	1977-01-01	Paper
scientific article; zbMATH DE number 3592005 (Why is no real title available?)	1977-01-01	Paper
Decision Analysis Expert Use Management Science	1974-01-01	Paper
scientific article; zbMATH DE number 3484112 (Why is no real title available?)	1974-01-01	Paper
Applications of Graph Theory to S-Function Theory Journal of the London Mathematical Society	1974-01-01	Paper
Computational Problems in S-Function Theory Mathematics of Computation	1973-01-01	Paper

Research outcomes over time

This page was built for person: Peter A. Morris