The following pages link to Atsushi Igarashi (Q764261):
Displayed 29 items.
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. (Q1854358) (← links)
- Foundations for virtual types (Q1854531) (← links)
- On inner classes (Q1854553) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Matching MyType to subtyping (Q2442957) (← links)
- Automatic Memory Management Based on Program Transformation Using Ownership (Q2789036) (← links)
- Manifest Contracts for Datatypes (Q2819804) (← links)
- A Hoare Logic for SIMT Programs (Q2937782) (← links)
- Polymorphic Contracts (Q3000571) (← links)
- (Q3046755) (← links)
- A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers (Q3459430) (← links)
- Shifting the Blame (Q3460908) (← links)
- Lightweight family polymorphism (Q3503189) (← links)
- Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus (Q3535617) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)
- A Nonstandard Functional Programming Language (Q5056008) (← links)
- On Cross-Stage Persistence in Multi-Stage Programming (Q5170704) (← links)
- A generic type system for the Pi-calculus (Q5178880) (← links)
- Resource usage analysis (Q5178917) (← links)
- A Hoare Logic for GPU Kernels (Q5278201) (← links)
- Computer Science Logic (Q5292660) (← links)
- Model-Checking Higher-Order Programs with Recursive Types (Q5326300) (← links)
- Stateful manifest contracts (Q5370886) (← links)
- Programming Languages and Systems (Q5493382) (← links)
- A Logical Foundation for Environment Classifiers (Q5894005) (← links)
- A Logical Foundation for Environment Classifiers (Q5902143) (← links)
- Handling polymorphic algebraic effects (Q6070789) (← links)