今井 敬吾

Multiparty Session Programming with Global Protocol Combinators 

ECOOP 2020: 34th European Conference on Object-Oriented Programming (to appear) 2020年  査読有り

Fluent Session Programming in C# 

PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Dublin, Ireland 61 - 75 2020年  査読有り最終著者責任著者

Session Types Without Sophistry (System Description) 

Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science Book 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 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 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日  査読有り