Atsushi Igarashi

Available identifiers

zbMath Open igarashi.atsushiMaRDI QIDQ764261

List of research outcomes

Publication	Date of Publication	Type
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
Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.	2003-01-14	Paper
Foundations for virtual types	2003-01-14	Paper
On inner classes	2003-01-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Atsushi Igarashi