Atsushi Igarashi

Available identifiers

zbMath Open igarashi.atsushiMaRDI QIDQ764261

List of research outcomes

Publication	Date of Publication	Type
Signature restriction for polymorphic algebraic effects	2024-08-28	Paper
Temporal verification of programs via first-order fixpoint logic	2024-04-19	Paper
Manifest contracts with intersection types	2024-04-19	Paper
A dependently typed multi-stage calculus	2024-04-19	Paper
Contextual modal type theory with polymorphic contexts	2023-11-24	Paper
Handling polymorphic algebraic effects	2023-11-24	Paper
A Nonstandard Functional Programming Language	2022-12-09	Paper
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs	2022-10-13	Paper
Automated verification of functional correctness of race-free GPU programs	2018-03-01	Paper
Stateful manifest contracts	2017-10-20	Paper
A Hoare Logic for GPU Kernels	2017-07-13	Paper
Manifest contracts for datatypes	2016-09-29	Paper
Automatic Memory Management Based on Program Transformation Using Ownership	2016-02-26	Paper
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers	2016-01-08	Paper
Shifting the Blame	2016-01-08	Paper
A generic type system for the Pi-calculus	2015-03-17	Paper
Resource usage analysis	2015-03-17	Paper
A Hoare Logic for SIMT Programs	2015-01-12	Paper
On Cross-Stage Persistence in Multi-Stage Programming	2014-07-24	Paper
Matching MyType to subtyping	2014-04-02	Paper
Model-Checking Higher-Order Programs with Recursive Types	2013-08-05	Paper
Constructive linear-time temporal logic: proof systems and Kripke semantics	2012-03-13	Paper
Polymorphic Contracts	2011-05-19	Paper
A Logical Foundation for Environment Classifiers	2010-12-20	Paper
A Logical Foundation for Environment Classifiers	2009-07-07	Paper
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus	2008-11-13	Paper
Lightweight family polymorphism	2008-05-22	Paper
Computer Science Logic	2007-06-21	Paper
Programming Languages and Systems	2006-10-20	Paper
A generic type system for the pi-calculus	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3046755	2004-08-12	Paper
Foundations for virtual types	2003-01-14	Paper
Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.	2003-01-14	Paper
On inner classes	2003-01-14	Paper

Research outcomes over time

This page was built for person: Atsushi Igarashi