Roy L. Crole
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1990–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | MFPS | Equational Logic and Categorical Semantics for Multi-Languages. | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2020 | SAS | On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2003 | ICFP | A definitional approach to primitivexs recursion over higher order abstract syntax. | S. J. Ambler, Roy L. Crole, Alberto Momigliano |
| 1994 | CSL | A Sound Metalogical Semantics for Input/Output Effects. | Roy L. Crole, Andrew D. Gordon |
| 1990 | LICS | New Foundations for Fixpoint Computations | Roy L. Crole, Andrew M. Pitts |