Alan Mycroft

Available identifiers

zbMath Open mycroft.alanDBLPm/AlanMycroftWikidataQ4707402 ScholiaQ4707402MaRDI QIDQ796311

List of research outcomes

Publication	Date of Publication	Type
Galois connecting call-by-value and call-by-name	2024-05-27	Paper
Galois connecting call-by-value and call-by-name	2024-03-11	Paper
Extended call-by-push-value: reasoning about effectful programs and evaluation order	2023-11-24	Paper
The next 7000 programming languages	2022-02-16	Paper
Polymorphism, subtyping, and type inference in MLsub	2017-10-20	Paper
Coeffects: a calculus of context-dependent computation	2016-09-29	Paper
Effect Systems Revisited—Control-Flow Algebra and Semantics	2016-03-23	Paper
Coeffects: unified static analysis of context-dependence	2013-08-07	Paper
Strictness meets data flow	2010-10-01	Paper
Compiler Construction	2007-09-28	Paper
Programming Languages and Systems	2007-09-28	Paper
Programming Languages and Systems	2007-05-02	Paper
Abstract interpretation of combinational asynchronous circuits	2007-01-22	Paper
Static Analysis	2005-08-24	Paper
Bidirectional data flow analysis for type inferencing.	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4417778	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4787232	2003-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4787209	2003-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4778696	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2769590	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754132	2001-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q2757829	2001-12-04	Paper
Untyped strictness analysis	1995-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4036553	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3709872	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3340118	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3675536	1984-01-01	Paper
A polymorphic type system for Prolog	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3334069	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3664406	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875320	1980-01-01	Paper

Research outcomes over time

This page was built for person: Alan Mycroft