Modular and efficient top-down parsing for ambiguous left-recursive grammars. (2007)
Frost, R., Hafiz, R., Callaghan, P.
In functional and logic programming, parsers can be built as modular executable specifications of grammars, using parser combinators and definite clause grammars respectively. These techniques are...
Plasma drug concentrations and physiological measures in 'dance party' participants (2006)
Irvine, Rodney James, Keane, Michael, Felgate, P., McCann, U., Callaghan, P., White, Jason Mark
The increasing use of (7) 3,4-methylenedioxymethamphetamine (MDMA) in the setting of large dance parties (‘raves’) and clubs has been the source of some concern, because of potential acute...
Plasma drug concentrations and physiological measures in 'dance party' participants (2006)
Irvine, Rodney James, Keane, Michael, Felgate, P., McCann, U., Callaghan, P., White, Jason Mark
The increasing use of (7) 3,4-methylenedioxymethamphetamine (MDMA) in the setting of large dance parties (‘raves’) and clubs has been the source of some concern, because of potential acute...
LFTOP : an LF-based approach to domain-specific reasoning. (2005)
Pang, J., Callaghan, P., Luo, Z.
A new approach to domain-specific reasoning is presented that is based on a type-theoretic logical framework (LF) but does not require the user to be an expert in type theory. The concepts of the...
An implementation of LF with coercive subtyping & universes. (2001)
We present Plastic, an implementation of LF with Coercive Subtyping, and focus on its implementation of Universes. LF is a variant of Martin-Löf''s logical framework, with explicitly typed...
Object languages in a type-theoretic meta-framework. (2001)
Callaghan, P., Luo, Z., Pang, J.
This paper concerns techniques for providing a convenient syntax for object languages implemented via a type-theoretic Logical Framework, and reports on work in progress. We first motivate the need...
Callaghan, P., Cates, M., Rofe, C.
The non-Newtonian flow properties of the wormlike surfactant system, cetyl pyridinium chloride/sodium salicylate in water, have been studied using dynamic and steady rheometry and nuclear magnetic...
Callaghan, P., Cates, M., Rofe, C.
The non-Newtonian flow properties of the wormlike surfactant system, cetyl pyridinium chloride/sodium salicylate in water, have been studied using dynamic and steady rheometry and nuclear magnetic...
Callaghan, P., Cates, M., Rofe, C.
The non-Newtonian flow properties of the wormlike surfactant system, cetyl pyridinium chloride/sodium salicylate in water, have been studied using dynamic and steady rheometry and nuclear magnetic...
Time-resolved spectroscopy of the interaction of metal complexes with single and double stranded DNA
Chest symptoms in farming communities with special reference to farmer's lung.
Morgan, D C, Smyth, J T, Lister, R W, Pethybridge, R J, Gilson, J C, Callaghan, P, ...
Surveys were carried out on random samples of the farming population in Devon and Wales in order to estimate the prevalence of respiratory symptoms and of positive precipitin reactions to...