Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Maximilian Bolingbroke | Researchclopedia

Back to researchers

Maximilian Bolingbroke

8

Works

11,572

Citations

5

h-index

3

i10-index

Research Topics

Logic, programming, and type systems Formal Methods in Verification Parallel Computing and Optimization Techniques

Affiliations

University of Cambridge2009–2011

Top Works

SciPy 1.0: fundamental algorithms for scientific computing in Python

Pauli Virtanen,Ralf Gommers,et al.

201911,505 citations

Software Testing and Debugging Techniques

Logic, Reasoning, and Knowledge

Supercompilation by evaluation

Maximilian Bolingbroke,Simon Peyton Jones

201033 citations

Types are calling conventions

Maximilian Bolingbroke,Simon Jones

200913 citations

Improving supercompilation: tag-bags, rollback, speculation, normalisation, and generalisation

Maximilian Bolingbroke,Simon Peyton Jones

20117 citations

Supercompilation by evaluation

Maximilian Bolingbroke,Simon Peyton Jones

20107 citations

Termination combinators forever

Maximilian Bolingbroke,Simon Peyton Jones,et al.

20114 citations

Call-by-need supercompilation

Maximilian Bolingbroke

20213 citations

Termination combinators forever

Maximilian Bolingbroke,Simon Peyton Jones,et al.

20110 citations