Roy L. Crole

32 papers A* 1A 1B 4Journal 11Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
On multi-language abstraction: Towards a static analysis of multi-language programs.
Formal Methods Syst. Des.
Samuele Buro, Roy L. Crole, Isabella Mastroeni
2020 J jnl
A Social Sensing Model for Event Detection and User Influence Discovering in Social Media Data Streams.
IEEE Trans. Comput. Soc. Syst.
Lei-lei Shi, Lu Liu, Yan Wu, Liang Jiang, John Panneerselvam, Roy L. Crole
2020 B conf
Equational Logic and Categorical Semantics for Multi-Languages.
MFPS
Samuele Buro, Roy L. Crole, Isabella Mastroeni
2020 — conf
Equational Logic and Set-Theoretic Models for Multi-Languages.
ICTCS
Samuele Buro, Roy L. Crole, Isabella Mastroeni
2020 B conf
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs.
SAS
Samuele Buro, Roy L. Crole, Isabella Mastroeni
2020 J jnl
The nominal/FM Yoneda Lemma.
Math. Struct. Comput. Sci.
Roy L. Crole
2015 — conf
Canonical HybridLF: Extending Hybrid with Dependent Types.
LSFA
Roy L. Crole, Amy Elizabeth Furniss
2013 B conf
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories.
MFPS
Roy L. Crole, Frank Nebel
2012 J jnl
Alpha equivalence equalities.
Theor. Comput. Sci.
Roy L. Crole
2011 J jnl
The representational adequacy of Hybrid.
Math. Struct. Comput. Sci.
Roy L. Crole
2003 — conf
A definitional approach to primitivexs recursion over higher order abstract syntax.
MERLIN
S. J. Ambler, Roy L. Crole, Alberto Momigliano
2003 — conf
Basic Category Theory for Models of Syntax.
Generic Programming
Roy L. Crole
2002 — conf
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.
LFM
Alberto Momigliano, Simon Ambler, Roy L. Crole
2002 — ed.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons
2002 — conf
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.
TPHOLs
Simon Ambler, Roy L. Crole, Alberto Momigliano
2001 J jnl
Completeness of Bisimilarity for Contextual Equivalence in Linear Theories.
Log. J. IGPL
Roy L. Crole
2001 — ed.
Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001
MERLIN
Simon Ambler, Roy L. Crole, Alberto Momigliano
2001 — conf
Preface: Mechanised Reasoning about Languages with Variable Binding 2001.
MERLIN
Simon Ambler, Roy L. Crole, Alberto Momigliano
2000 J jnl
Encoding FIX in object calculi.
RAIRO Theor. Informatics Appl.
Roy L. Crole
2000 — conf
Introduction.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roy L. Crole
1999 — conf
Mechanized Operational Semantics via (Co)Induction.
TPHOLs
Simon Ambler, Roy L. Crole
1999 J jnl
Relating operational and denotational semantics for input/output effects.
Math. Struct. Comput. Sci.
Roy L. Crole, Andrew D. Gordon
1996 J jnl
On fixpoint objects and gluing constructions.
Appl. Categorical Struct.
Roy L. Crole
1994 B conf
A Sound Metalogical Semantics for Input/Output Effects.
CSL
Roy L. Crole, Andrew D. Gordon
1994 — conf
An Internal Language for Interaction Categories.
Theory and Formal Methods
Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
1994 J jnl
Computational Adequacy of the FIX-Logic.
Theor. Comput. Sci.
Roy L. Crole
1993 — book
Categories for Types.
Roy L. Crole
1993 — conf
Deriving Category Theory from Type Theory.
Theory and Formal Methods
Roy L. Crole
1993 A conf
Factoring an Adequacy Proof (Preliminary Report).
Functional Programming
Roy L. Crole, Andrew D. Gordon
1992 J jnl
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic
Inf. Comput.
Roy L. Crole, Andrew M. Pitts
1991 — —
Programming metalogics with a fixpoint type.
Roy L. Crole
1990 A* conf
New Foundations for Fixpoint Computations
LICS
Roy L. Crole, Andrew M. Pitts