Cambridge Programming Research Group
Selected Recent Publications
2012- Urma R G, Mycroft A - Investigating the Use of Variance in Object-Oriented Languages (Position Paper) (Doctoral Symposium, ECOOP 2012, Bejing)
- Calvert P, Mycroft A - Control Flow Analysis for the Join Calculus (SAS 2012, Deauville, France)
- Petricek T, Syme D - Syntax Matters: Writing abstract computations in F# (TFP 2012 pre-proceedings)
- Orchard D, Mycroft A - Mathematical Structures for Data Types with Restricted Parametericity (TFP 2012 pre-proceedings)
- Calvert P, Mycroft A - Mapping the Join Calculus to Heterogeneous Hardware (PLACES 2012, Estonia)
- Petricek T - Evaluation strategies for monadic computations (MSFP 2012, Estonia)
- Calvert P, Mycroft A - Petri-nets as an Intermediate Representation for Heterogeneous Architectures (Euro-Par 2011)
- Lehtosalo J, Greaves D - Language with a Pluggable Type System and Optional Runtime Monitoring of Type Errors. (STOP (Scripts to Programs) 2011)
- Petricek T, Mycroft A, Syme D - Extending Monads with Pattern Matching (Haskell Symposium 2011, Tokyo, Japan)
- Bolingbroke M, Peyton Jones S, Vytiniotis D - Termination combinators forever (Haskell Symposium 2011, Tokyo, Japan)
- Orchard D, Mycroft A - Efficient and Correct Stencil Computation via Pattern Matching and Static Typing (IFIP DSL 2011, Bordeaux, France)
- Petricek T, Syme D - Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming (PADL 2011, Austin, USA)
- Syme D, Petricek T - The F# Asynchronous Programming Model (PADL 2011, Austin, USA)
- Bolingbroke M, Peyton Jones S - Supercompilation by Evaluation (Haskell Symposium 2010, Baltimore, US)
- Schrijvers T, Mycroft A - Strictness Meets Data Flow (SAS 2010)
- Orchard D, Schrijvers T - Haskell Type Constraints Unleashed (FLOPS 2010, Sendai, Japan)
- Mak J, Faxén K-F, Janson S, Mycroft A - Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling (Euro-Par 2010)
- Feigin B, Mycroft A - Formally Efficient Program Instrumentation. (RV 2010)
- Orchard D, Bolingbroke M, Mycroft A, Ypnos : Declarative Parallel Structured Grid Programming (DAMP 2010, Madrid, Spain)
- Bolingbroke M, Peyton Jones S - Types are Calling Conventions (Haskell Symposium 2009, Edinburgh, UK)
- Gray K. E, Mycroft A - Logical Testing (FASE 2009, York, UK)
- Oancea C. E, Mycroft A, Watt S. M - A new approach to parallelising tracing algorithms (ISMM 2009, Dublin, Ireland)
- Oancea C. E, Mycroft A, Harris T - A lightweight in-place implementation for software thread-level speculation (SPAA 2009, Calgary, Canada)
- Message R, Mycroft A - Controlling control flow in web applications (WWV 2007, (ENTCS 2008), Venice, Italy)