Travelled to:1 × Austria
1 × Canada
1 × Germany
1 × Norway
2 × Denmark
2 × France
2 × United Kingdom
3 × Italy
6 × USA
Collaborated with:∅ J.Rathke A.D.Gordon R.Jagadeesan J.Riely M.Benedikt R.Ley-Wild W.Ferreira M.Hennessy C.Pitcher R.Harper J.Harrison P.Sewell
Talks about:abstract (5) concurr (5) type (5) semant (4) fulli (4) function (3) program (3) languag (3) bisimul (3) theori (3)
Person: Alan Jeffrey
DBLP: Jeffrey:Alan
Contributed to:
2014
2013
2013
2011
2011
2008
2006
2005
2005
200320022001
200120001999199619951994
1991Wrote 19 papers:
- LICS-CSL-2014-Jeffrey #functional
- Functional reactive types (AJ), p. 9.
- ICFP-2013-Jeffrey #functional #liveness #programming
- Functional reactive programming with liveness guarantees (AJ), pp. 233–244.
- PADL-2013-Jeffrey #html #web
- Dependently Typed Web Client Applications — FRP in Agda in HTML5 (AJ), pp. 228–243.
- CSL-2011-JeffreyR #streaming
- The Lax Braided Structure of Streaming I/O (AJ, JR), pp. 292–306.
- POPL-2011-GordonHHJS #concurrent #verification
- Robin Milner 1934--2010: verification, languages, and concurrency (ADG, RH, JH, AJ, PS), pp. 473–474.
- SIGMOD-2008-BenediktJL #constraints #xml
- Stream firewalling of xml constraints (MB, AJ, RLW), pp. 487–498.
- ICALP-v2-2006-JagadeesanJPR #data access #named #programming
- λ-RBAC: Programming with Role-Based Access Control (RJ, AJ, CP, JR), pp. 456–467.
- ESOP-2005-JeffreyR #java #semantics
- Java Jr: Fully Abstract Trace Semantics for a Core Java Language (AJ, JR), pp. 423–438.
- FoSSaCS-2005-JeffreyR #abstraction #polymorphism #π-calculus
- Full Abstraction for Polymorphic π-Calculus (AJ, JR), pp. 266–281.
- ECOOP-2003-JagadeesanJR #aspect-oriented #calculus #source code
- A Calculus of Untyped Aspect-Oriented Programs (RJ, AJ, JR), pp. 54–73.
- LICS-2002-JeffreyR #concurrent #semantics #testing
- A Fully Abstract May Testing Semantics for Concurrent Objects (AJ, JR), pp. 101–112.
- LICS-2001-Jeffrey #induction #lts #type system
- A Symbolic Labelled Transition System for Coinductive Subtyping of Fμ≤ Types (AJ), pp. 323–333.
- SAS-2001-GordonJ #analysis #protocol #security
- A Type and Effect Analysis of Security Protocols (ADG, AJ), p. 432.
- LICS-2000-JeffreyR #bisimulation #concurrent #formal method #ml
- A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names (AJ, JR), pp. 311–321.
- LICS-1999-JeffreyR #bisimulation #formal method #towards
- Towards a Theory of Bisimulation for Local Names (AJ, JR), pp. 56–66.
- ICFP-1996-FerreiraHJ #bisimulation #formal method
- A Theory of Weak Bisimulation for Core CML (WF, MH, AJ), pp. 201–212.
- LICS-1995-Jeffrey #concurrent #functional #monad #semantics
- A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types (AJ), pp. 255–264.
- LICS-1994-Jeffrey #concurrent #graph #reduction #semantics
- A Fully Abstract Semantics for Concurrent Graph Reduction (AJ), pp. 82–91.
- CAV-1991-Jeffrey #algebra #linear #process
- A Linear Time Process Algebra (AJ), pp. 432–442.