PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jeffrey, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
Typed parametric polymorphism for aspects.

, , and . Sci. Comput. Program., 63 (3): 267-296 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Jeffrey, Alan
add a person with the name Jeffrey, Alan
 

Other publications of authors with the same name

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types. LICS, page 255-264. IEEE Computer Society, (1995)SafetyNet: A language-based approach to programmable networks., , , and . Computer Networks, 36 (1): 101-114 (2001)Lightweight Record-and-Replay for Intermittent Tests Failures., and . CoRR, (2019)Contextual equivalence for higher-order pi-calculus revisited., and . Logical Methods in Computer Science, (2005)On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory., and . Logical Methods in Computer Science, (2019)A Theory of Weak Bisimulation for Core CML., , and . ICFP, page 201-212. ACM, (1996)SIGPLAN Notices 31(6), June 1996.The Lax Braided Structure of Streaming I/O., and . CSL, volume 12 of LIPIcs, page 292-306. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)Allegories of Circuits., and . LFCS, volume 813 of Lecture Notes in Computer Science, page 56-68. Springer, (1994)Translating Timed Process Algebra into Prioritized Process Algebra.. FTRTFT, volume 571 of Lecture Notes in Computer Science, page 493-506. Springer, (1992)Integrity Constraints for Linked Data., and . Description Logics, volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)