Author

Peter Morris

Observed names: Morris, Peter W J, PETER MORRIS

Observed institutions: Pennsylvania State University, University of Nottingham

OpenAlex ID: A5113589630

2010 · James Chapman, Pierre-Évariste Dagand, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 98

Indexed Containers

2009 · Thorsten Altenkirch, Peter Morris · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 60

Indexed containers

2015 · THORSTEN ALTENKIRCH, NEIL GHANI, et al. · Journal of Functional Programming · 43

PDF

Generic Programming with Dependent Types

2007 · Thorsten Altenkirch, Conor McBride, et al. · Lecture notes in computer science · 32

Exploring the Regular Tree Types

2006 · Peter Morris, Thorsten Altenkirch, et al. · Lecture notes in computer science · 27

The gentle art of levitation

2010 · James Chapman, Pierre-Évariste Dagand, et al. · ACM SIGPLAN Notices · 17

Disappearance of Extreme Points

1983 · Peter Morris · Proceedings of the American Mathematical Society · 17

PDF

A Universe of Strictly Positive Families

2009 · PETER MORRIS, THORSTEN ALTENKIRCH, et al. · International Journal of Foundations of Computer Science · 16

Constructing strictly positive families

2007 · Peter Morris, Thorsten Altenkirch, et al. · 16

A Categorical Semantics for Inductive-Inductive Definitions

2011 · Thorsten Altenkirch, Peter Morris, et al. · Lecture notes in computer science · 14

Game-Playing Programs

1994 · Peter Morris · Universitext · 1

Epigram prime: a demonstration

2010 · Peter Morris

Two-Person Zero-Sum Games

1994 · Peter Morris · Universitext

Games in Extensive Form

1994 · Peter Morris · Universitext

Book reviews

1994 · John Gaffnty, Leigh Whaley, et al. · Modern & Contemporary France

Book reviews

1993 · Jim Wolfreys, Geneviève Parkes, et al. · Modern & Contemporary France

Reviews of Books

1989 · PETER MORRIS · French History

Book reviews

1987 · Hugh Stokes, Ronald J. Hill, et al. · Journal of Communist Studies

Book reviews

1985 · Gordon Smith, Hugh Berrington, et al. · West European Politics

Reviews: Political Theory and Practice, Man and, The Social Sciences, Political Images and Realities, The Sociology of Social Movements, Politics in Science, The Politics of Consumer Protection, Constitutional Law and Judicial Policy Making, Working Papers in Canadian Politics, Nazis and Workers: National Socialist Appeals to German Labour, 1919–1933, The West German Legislative Process—A Case Study of Two Transportation Bills, Gaullism: The Rise and Fall of A Political Movement, Class and Society in Soviet Russia, Politics and History in the Soviet Union, Politics and the Labour Movement in Chile, Revolution in Peru: Mariátegui and the Myth, Interest Conflict and Political Change in Brazil, The Dynamics of Indian Political Factions: A Study of District Councils in the State of Maharashtra, The Political Elite of Iran, Patrimonialism and Political Change in the Congo, The Theory and Practice of Dissolution of Parliament, The New Government of London: The First Five Years, Governing the London Region: Reorganisation and Planning in the 1960s, Constraints and Adjustments in British Foreign Policy, Rise to Globalism, American Foreign Policy since 1938, The Peers and the People: The General Election of 1910, the Politics of Authenticity: Radical Individualism and the Emergence of Modern Society, Philosophy, Politics and Society, Fourth Series, Socialism since Marx, Democracy and Reaction, Hegel's Theory of the Modern State, Friedrich Meinecke: Historism. The Rise of a New Historical Outlook, the Aberystwyth Papers: International Politics 1919–1969

1973 · W. H. Greenleaf, Robert E. Dowse, et al. · Political Studies

Works count: 23

Citation count: 341

H-index: 10

I10-index: 10