List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Signature restriction for polymorphic algebraic effects Journal of Functional Programming | 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 Programming Languages and Systems | 2023-11-24 | Paper |
| A Nonstandard Functional Programming Language Programming Languages and Systems | 2022-12-09 | Paper |
| ConSORT: context- and flow-sensitive ownership refinement types for imperative programs Programming Languages and Systems | 2022-10-13 | Paper |
| Automated verification of functional correctness of race-free GPU programs Journal of Automated Reasoning | 2018-03-01 | Paper |
| Stateful manifest contracts Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| A Hoare Logic for GPU Kernels ACM Transactions on Computational Logic | 2017-07-13 | Paper |
| Manifest contracts for datatypes Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Automatic Memory Management Based on Program Transformation Using Ownership Programming Languages and Systems | 2016-02-26 | Paper |
| A sound type system for layer subtyping and dynamically activated first-class layers Programming Languages and Systems | 2016-01-08 | Paper |
| Shifting the blame. A blame calculus with delimited control Programming Languages and Systems | 2016-01-08 | Paper |
| A generic type system for the \(\pi\)-calculus Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| Resource usage analysis Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| A Hoare logic for SIMT programs Programming Languages and Systems | 2015-01-12 | Paper |
| On Cross-Stage Persistence in Multi-Stage Programming Functional and Logic Programming | 2014-07-24 | Paper |
| Matching MyType to subtyping Science of Computer Programming | 2014-04-02 | Paper |
| Model-checking higher-order programs with recursive types Programming Languages and Systems | 2013-08-05 | Paper |
| Constructive linear-time temporal logic: proof systems and Kripke semantics Information and Computation | 2012-03-13 | Paper |
| Polymorphic contracts Programming Languages and Systems | 2011-05-19 | Paper |
| A Logical Foundation for Environment Classifiers Logical Methods in Computer Science | 2010-12-20 | Paper |
| A Logical Foundation for Environment Classifiers Lecture Notes in Computer Science | 2009-07-07 | Paper |
| Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus Logical Methods in Computer Science | 2008-11-13 | Paper |
| Lightweight family polymorphism Journal of Functional Programming | 2008-05-22 | Paper |
| Computer Science Logic Lecture Notes in Computer Science | 2007-06-21 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2006-10-20 | Paper |
| A generic type system for the pi-calculus Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2089395 (Why is no real title available?) | 2004-08-12 | Paper |
| Foundations for virtual types Information and Computation | 2003-01-14 | Paper |
| Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. Information and Computation | 2003-01-14 | Paper |
| On inner classes Information and Computation | 2003-01-14 | Paper |
Research outcomes over time
This page was built for person: Atsushi Igarashi
