今井 敬吾

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs 

TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243 379-386 2022年  査読有り

Multiparty Session Programming with Global Protocol Combinators 

ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics 166 9:1-9:30 2020年  査読有り

Fluent Session Programming in C# 

PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, co-located with ETAPS 2020, Dublin, Ireland, Electronic Proceedings in Theoretical Computer Science 314 61-75 2020年  査読有り

Session Types Without Sophistry (System Description) 

FLOPS 2020: 15th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science 12073 66-87 2020年  査読有り

Lightweight linearly-typed programming with lenses and monads 

Journal of Information Processing 27 431-444 2019年6月  査読有り

Towards Bidirectional Synchronization between Communicating Processes and Session Types 

SFDI2019: Second Workshop on Software Foundations for Data Interoperability (In proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp)) 1-5 2019年2月  査読有り

Session-ocaml: a Session-based Library with Polarities and Lenses (extended version) 

Science of Computer Programming 172 135-159 2018年  査読有り

Session-ocaml: A session-based library with polarities and lenses 

COORDINATION 2017: 19th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science 10319 99-118 2017年  査読有り筆頭著者

Can We Understand Researcher Grant Needs Without Direct Communication? 

2015 IIAI 4TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI) 462-467 2015年  査読有り

A Session Type System with Subject Reduction 

IEICE transactions on information and systems 95(8) 2053-2064 2012年8月1日  査読有り

Session Type Inference in Haskell 

PLACES 2010: Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010, Electronic Proceedings in Theoretical Computer Science 69 74-91 2010年  査読有り