Under consideration for publication in J. Functional Programming 1 (2008)
Big-step Normalisation, Thorsten Altenkirch, James Chapman
Traditionally, decidability of conversion for typed λ-calculi is established by showing that small-step reduction is confluent and strongly normalising. Here we investigate an alternative approach...
Chapter 1 Epigram Reloaded: (2008)
A Standalone, Typechecker Ett, James Chapman, Thorsten Altenkirch, Conor Mcbride
Abstract Epigram, a functional programming environment with dependent types, interacts with the programmer via an extensible high level language of programming constructs which elaborates...
Chapter 1 Epigram Reloaded: (2008)
A Standalone, Typechecker Ett, James Chapman, Thorsten Altenkirch, Conor Mcbride
Abstract Epigram, a functional programming environment with dependent types, interacts with the programmer via an extensible high level language of programming constructs which elaborates...
1 INTRODUCTION Epigram Reloaded: (2008)
A Standalone, Typechecker Ett, James Chapman, Thorsten Altenkirch, Conor Mcbride
Thorsten Altenkirch, James Chapman
We present a Tait-style proof to show that a simple functional normaliser for a combinatory version of System T terminates. The main interest in our construction is methodological, it is an...
Thorsten Altenkirch, James Chapman
We present a Tait-style proof to show that a simple functional normaliser for a combinatory version of System T terminates. The main interest in our construction is methodological, it is an...
Vitamin E amides, a new class of vitamin E analogues with enhanced pro-apoptotic activity. (2005)
Tomic-Vatic, Adisa, EyTina, John, Chapman, James, Mahdavian, Elahe, Neuzil, Jiri, Salvatore, Brian A.
Yes
Vitamin E amides, a new class of vitamin E analogues with enhanced pro-apoptotic activity. (2005)
Tomic-Vatic, Adisa, EyTina, John, Chapman, James, Mahdavian, Elahe, Neuzil, Jiri, Salvatore, Brian A.
Vitamin E (VE) analogues, epitomized by -tocopheryl succinate (-TOS), are proapoptotic agents with selective antineoplastic activity. The molecule of -TOS comprises several structurally and...
Vitamin E amides, a new class of vitamin E analogues with enhanced pro-apoptotic activity. (2005)
Tomic-Vatic, Adisa, EyTina, John, Chapman, James, Mahdavian, Elahe, Neuzil, Jiri, Salvatore, Brian A.
Vitamin E (VE) analogues, epitomized by -tocopheryl succinate (-TOS), are proapoptotic agents with selective antineoplastic activity. The molecule of -TOS comprises several structurally and...
A functional quantum programming language (2005)
Jonathan James Grattage, James Chapman, Alex Green, Mark Jago, Wouter Swierstra, Mauro Jaskelioff
This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible...
Vitamin E amides, a new class of vitamin E analogues with enhanced pro-apoptotic activity. (2005)
Tomic-Vatic, Adisa, EyTina, John, Chapman, James, Mahdavian, Elahe, Neuzil, Jiri, Salvatore, Brian A.
Vitamin E (VE) analogues, epitomized by -tocopheryl succinate (-TOS), are proapoptotic agents with selective antineoplastic activity. The molecule of -TOS comprises several structurally and...
'The true business of the British movie'? A Matter of Life and Death and British film culture (2005)
1968: The World Transformed (review) (2000)
Journal of Cold War Studies - Volume 2, Number 1, Winter 2000
Vita.
A NOTE ON CALCULATION OF WAVES IN A CYLINDRICAL SHELL, (1998)
Spillers, W. R., Chapman, James
Several techniques for the computation of the relatively long time response of a cylindrical (membrane) shell to longitudinal impact are discussed. Implicit numerical schemes are compared to a purely...
Official British film propaganda during the Second World War. (1995)
Thesis (Ph. D.)--University of Lancaster, 1995.
Synthesis and complexation behaviour of substituted polyaza-macrocycles. (1992)
Thesis (Ph. D.)--University of Durham, 1992.
Thesis (M.Sc.(Agric.))--University of Natal, Pietermaritzburg, 1987.
The conditioning effects of technology on organizational behavior in planned social change. (1969)
Photocopy of typescript. Ann Arbor, Mich., University Microfilms, 1971. 21 cm.
The conditioning effects of technology on organizational behavior in planned social change. (1969)
Thesis--University of Michigan.
Urban form, travel time, and cost relationships with tour complexity and mode choice
Lawrence Frank, Mark Bradley, Sarah Kavage, James Chapman, T. Lawton
Urban form, Travel time, Mode choice,
A Model of Tiered Settlement Networks
James Chapman, Jonathan Chiu, Miguel Molico
This paper develops a model of settlement system to study the endogenous structure of settlement networks, and the welfare consequences of clearing agent failure. The equilibrium degree of tiering is...
Sean O'Connor, James Chapman, Kirby Millar
The authors consider the liquidity efficiency of Tranche 2 of the Large Value Transfer System (LVTS T2) by examining, through an empirical analysis, some plausible strategic reactions of individual...
SMALL FARMS IN MICHIGAN: A PROPOSAL FOR RESEARCH
The operators of small farms play an important role in determining Michigan's agricultural production. Approximately one third of the state's gross farm sales originate from small farms. Yet small...