Остановите войну!
for scientists:
default search action
Alan Mycroft
- > Home > Persons > Alan Mycroft
Publications
- 2024
- [j17]Dylan McDermott, Alan Mycroft:
Galois connecting call-by-value and call-by-name. Log. Methods Comput. Sci. 20(1) (2024) - 2022
- [c93]Dylan McDermott, Alan Mycroft:
Galois Connecting Call-by-Value and Call-by-Name. FSCD 2022: 32:1-32:19 - [i5]Dylan McDermott, Alan Mycroft:
Galois connecting call-by-value and call-by-name. CoRR abs/2202.08246 (2022) - 2020
- [c88]Andrej Ivaskovic, Alan Mycroft, Dominic Orchard:
Data-Flow Analyses as Effects and Graded Monads. FSCD 2020: 15:1-15:23 - [c87]Andrej Ivaskovic, Alan Mycroft:
A graded Monad for deadlock-free concurrency (functional pearl). Haskell@ICFP 2020: 17-30 - 2019
- [c86]Dylan McDermott, Alan Mycroft:
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. ESOP 2019: 235-262 - 2018
- [j12]Dylan McDermott, Alan Mycroft:
Call-by-need effects via coeffects. Open Comput. Sci. 8(1): 93-108 (2018) - 2017
- [c85]Stephen Dolan, Alan Mycroft:
Polymorphism, subtyping, and type inference in MLsub. POPL 2017: 60-72 - 2016
- [c84]Alan Mycroft, Dominic A. Orchard, Tomas Petricek:
Effect Systems Revisited - Control-Flow Algebra and Semantics. Semantics, Logics, and Calculi 2016: 1-32 - 2015
- [j11]Raoul-Gabriel Urma, Alan Mycroft:
Source-code queries with graph databases - with application to programming language usage and evolution. Sci. Comput. Program. 97: 127-134 (2015) - 2014
- [c80]Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft:
Programming language evolution workshop report. PLE@ECOOP 2014: 1-3 - [c79]Tomas Petricek, Dominic A. Orchard, Alan Mycroft:
Coeffects: a calculus of context-dependent computation. ICFP 2014: 123-135 - [e4]Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft:
Proceedings of the 1st Workshop on Programming Language Evolution, PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014. ACM 2014, ISBN 978-1-4503-2887-6 [contents] - [i3]Dominic A. Orchard, Tomas Petricek, Alan Mycroft:
The semantic marriage of monads and effects. CoRR abs/1401.5391 (2014) - 2013
- [c76]Tomas Petricek, Dominic A. Orchard, Alan Mycroft:
Coeffects: Unified Static Analysis of Context-Dependence. ICALP (2) 2013: 385-397 - [c75]Wei Ming Khoo, Alan Mycroft, Ross J. Anderson:
Rendezvous: a search engine for binary code. MSR 2013: 329-338 - [c74]Leo White, Alan Mycroft:
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation. SAS 2013: 433-453 - 2012
- [c73]Dominic A. Orchard, Alan Mycroft:
A Notation for Comonads. IFL 2012: 1-17 - [c71]Raoul-Gabriel Urma, Alan Mycroft:
Programming language evolution via source code query languages. PLATEAU 2012: 35-38 - [i2]Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon:
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2(1): 100-116 (2012) - 2011
- [j10]Eleftheria Katsiri, Alan Mycroft:
Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems. Simul. Model. Pract. Theory 19(1): 161-180 (2011) - [c65]Tomas Petricek, Alan Mycroft, Don Syme:
Extending monads with pattern matching. Haskell 2011: 1-12 - [c63]Dominic A. Orchard, Alan Mycroft:
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. DSL 2011: 68-92 - 2010
- [j9]Eleftheria Katsiri, Jean Bacon, Alan Mycroft:
Linking Temporal First Order Logic and Hidden Markov Models with Abstract Events. Int. J. Artif. Intell. Tools 19(6): 857-893 (2010) - [c61]Dominic A. Orchard, Max Bolingbroke, Alan Mycroft:
Ypnos: declarative, parallel structured grid programming. DAMP 2010: 15-24 - [c59]Tom Schrijvers, Alan Mycroft:
Strictness Meets Data Flow. SAS 2010: 439-454 - 2009
- [c56]Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt:
A new approach to parallelising tracing algorithms. ISMM 2009: 10-19 - [c55]Cosmin E. Oancea, Alan Mycroft, Tim Harris:
A lightweight in-place implementation for software thread-level speculation. SPAA 2009: 223-232 - 2008
- [c54]Sriram Srinivasan, Alan Mycroft:
Kilim: Isolation-Typed Actors for Java. ECOOP 2008: 104-128 - [c53]Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft:
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. FASE 2008: 407-422 - [c52]Cosmin E. Oancea, Alan Mycroft:
Software thread-level speculation: an optimistic library implementation. IWMSE@ICSE 2008: 23-32 - [c51]Cosmin E. Oancea, Alan Mycroft:
Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). LCPC 2008: 156-171 - 2007
- [j8]Eleftheria Katsiri, Jean Bacon, Alan Mycroft:
SCAFOS: linking sensor data to context-aware applications using abstract events. Int. J. Pervasive Comput. Commun. 3(4): 347-377 (2007) - [c49]Cosmin E. Oancea, Alan Mycroft:
A Lightweight Model for Software Thread-Level Speculation (TLS). PACT 2007: 419 - 2006
- [c42]Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones:
Haskell Is Not Not ML. ESOP 2006: 38-53 - [c41]Eleftheria Katsiri, Alan Mycroft:
Applying Bayesian Networks to Sensor-Driven Systems. ISWC 2006: 149-150 - 2005
- [c39]Robert Ennals, Richard Sharp, Alan Mycroft:
Task Partitioning for Multi-core Network Processors. CC 2005: 76-90 - [c38]Eleftheria Katsiri, Alan Mycroft:
Model Checking for Sentient Computing: An Axiomatic Approach. MCMP@MDM 2005 - 2004
- [c35]Robert Ennals, Richard Sharp, Alan Mycroft:
Linear Types for Packet Processing. ESOP 2004: 204-218 - [c33]S. N. I. Mount, Robert M. Newman, R. J. Low, Alan Mycroft:
Exstatic: a generic static checker applied to documentation systems. SIGDOC 2004: 52-57 - 2003
- [j4]Alan Mycroft, Richard Sharp:
Higher-level techniques for hardware description and synthesis. Int. J. Softw. Tools Technol. Transf. 4(3): 271-297 (2003) - [c31]Anil Madhavapeddy, Alan Mycroft, David J. Scott, Richard Sharp:
The Case for Abstracting Security Policies. Security and Management 2003: 156-160 - [c30]David J. Scott, Alastair R. Beresford, Alan Mycroft:
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. FASE 2003: 102-117 - [c27]David J. Scott, Alastair R. Beresford, Alan Mycroft:
Spatial Policies for Sentient Mobile Applications. POLICY 2003: 147-157 - 2001
- [c24]Alan Mycroft, Richard Sharp:
Hardware Synthesis Using SAFL and Application to Processor Design. CHARME 2001: 13-39 - [c23]Richard Sharp, Alan Mycroft:
A Higher-Level Language for Hardware Synthesis. CHARME 2001: 228-243 - [c22]Richard Sharp, Alan Mycroft:
Soft Scheduling for Hardware. SAS 2001: 57-72 - [c21]Alan Mycroft, Richard Sharp:
Hardware/Software Co-Design Using Functional Languages. TACAS 2001: 236-251 - [c20]Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata:
Comparing Type-Based and Proof-Directed Decompilation. WCRE 2001: 362-367 - 2000
- [c19]Alan Mycroft, Richard Sharp:
A Statically Allocated Parallel Functional Language. ICALP 2000: 37-48
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-03-07 01:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint