Concepedia
Statistics
Publications
8
Citations
136
H-Index
Active since
2014
Affiliations
Kyoto University(Current)
National Institute of Informatics
IBM Research - Tokyo
Taro Sekiyama is an author at Kyoto University specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsSoftware AnalysisProgram AnalysisAutomated ReasoningData ScienceVerificationFormal VerificationProgramming Languages
Publications per year
2014–2023
On polymorphic gradual typing
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi · Proceedings of the ACM on Programming Languages · 2017 · 41 citations · Full text
Engineering, Dynamic Typing, Static Typing +12
Dynamic type inference for gradual Hindley–Milner typing
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi · Proceedings of the ACM on Programming Languages · 2019 · 19 citations · Full text
Manifest Contracts for Datatypes
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi · 2014 · 16 citations
Engineering, Type Theory, Verification +20
Polymorphic Manifest Contracts, Revised and Resolved
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg · ACM Transactions on Programming Languages and Systems · 2017 · 16 citations
Prior Calculi, Engineering, Program Analysis +13
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations
Taro Sekiyama, Hiroshi Unno · Proceedings of the ACM on Programming Languages · 2023 · 13 citations · Full text
Engineering, Verification, Action Language +25
1–5 of 8