Search Results - "GRAHAM HUTTON"

Circuit Width Estimation via Effect Typing and Linear Dependency.

Authors: Colledan, Andrea Lago, Ugo Dal Vazou, Niki

Source: ACM Transactions on Programming Languages & Systems; Sep2025, Vol. 47 Issue 3, p1-35, 35p

PhD Abstracts.

Authors: HUTTON, GRAHAM¹ (AUTHOR) graham.hutton@nottingham.ac.uk

Source: Journal of Functional Programming. 2025, Vol. 35, p1-13. 13p.

PhD Abstracts.

Authors: HUTTON, GRAHAM¹ (AUTHOR) graham.hutton@nottingham.ac.uk

Source: Journal of Functional Programming. 2022, Vol. 32, p1-6. 6p.

PhD Abstracts.

Authors: HUTTON, GRAHAM¹ graham.hutton@nottingham.ac.uk

Source: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-15. 15p.

GALOIS CONNECTING CALL-BY-VALUE AND CALL-BY-NAME.

Authors: MCDERMOTT, DYLAN MYCROFT, ALAN

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 1, p1-43, 43p

JFP special issue on program calculation.

Authors: HUTTON, GRAHAM WU, NICOLAS

Source: Journal of Functional Programming. 2025, Vol. 35, p1-1. 1p.

The Go-Between: One of America's most celebrated women war correspondents walked a fine line between journalism and espionage.

Authors: KROEGER, BROOKE¹

Source: American Scholar. Autumn2025, Vol. 94 Issue 4, p48-59. 12p.

Subject Terms: *Brothers, Great men & women, Social status, Americans, Russian armed forces, Political affiliation, Praise

A CUBICAL LANGUAGE FOR BISHOP SETS.

Authors: STERLING, JONATHAN ANGIULI, CARLO GRATZER, DANIEL

Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 1, p1-80, 80p, 4 Diagrams

PhD Abstracts.

Authors: HUTTON, GRAHAM¹ graham.hutton@nottingham.ac.uk

Source: Journal of Functional Programming. 2019, Vol. 29, p1-14. 14p.

PhD Abstracts.

Authors: HUTTON, GRAHAM¹ (AUTHOR) graham.hutton@nottingham.ac.uk

Source: Journal of Functional Programming. 2023, Vol. 33, p1-7. 7p.

What is the Midwest? Notes on a Geographical Identity.

Authors: Webb, Stephen H.

Source: Reviews in Religion & Theology. Mar2009, Vol. 16 Issue 2, p169-172. 4p.

Book Review.

Authors: Saketh Bhamidipati¹

Source: Journal of Functional Programming. Mar2009, Vol. 19 Issue 2, p256-259. 4p.

What is the meaning of these constant interruptions?

Authors: GRAHAM HUTTON JOEL WRIGHT

Source: Journal of Functional Programming. Nov2007, Vol. 17 Issue 6, p777-792. 16p.

IEA News.

Authors: Smith, Kenneth

Source: Economic Affairs. Apr-Jun84, Vol. 4 Issue 3, p7-7. 1/2p.

The Invention of Prehistory and the Rediscovery of Europe: Exploring the Intellectual Roots of Gordon Childe's 'Neolithic Revolution' (1936).

Authors: Brami, Maxime N.¹ (AUTHOR) mbrami@uni-mainz.de

Source: Journal of World Prehistory. Dec2019, Vol. 32 Issue 4, p311-351. 41p.

The worker/wrapper transformation.

Authors: ANDY GILL GRAHAM HUTTON

Source: Journal of Functional Programming. Mar2009, Vol. 19 Issue 2, p227-251. 25p.

Dictionary of Midwestern Literature, Volume Two : Dimensions of the Midwestern Literary Imagination

Authors: Philip A. Greasley

Resource Type: eBook.

Subjects: American literature--Middle West--Dictionaries, American literature--Middle West--Bio-bibliography--Dictionaries, Authors, American--Homes and haunts--Middle West--Dictionaries, Electronic books

Categories: LITERARY COLLECTIONS / General

JFP volume 21 issue 6 Cover and Back matter.

Source: Journal of Functional Programming. Nov2011, Vol. 21 Issue 6, pb1-b2. 1p.

PhD Abstracts.

Source: Journal of Functional Programming. 2024, Vol. 34, p1-12. 12p.

Focusing on Refinement Typing.

Authors: ECONOMOU, DIMITRIOS J. KRISHNASWAMI, NEEL DUNFIELD, JANA

Source: ACM Transactions on Programming Languages & Systems; Dec2023, Vol. 45 Issue 4, p1-62, 62p