VLDB 2026 Research / reviewers in the wild / expert
Ryu Hasegawa
dblp:05/2930
· DBLP profile ↗
4ranked-venue papers
3as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 3 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Ryu Hasegawa |
Log. Methods Comput. Sci. | 1 |
| 2010 | Inhabitation of polymorphic and existential types
Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa |
Ann. Pure Appl. Log. | 3 |
| 2002 | Two applications of analytic functors
Ryu Hasegawa |
Theor. Comput. Sci. | 1 |
| 1994 | Categorical Data Types in Parametric PolymorphismabstractThe categorical data types in models of second order lambda calculus are studied. We prove that Reynolds parametricity is a sufficient and necessary condition for the categorical data types to fulfill the universal properties. Ryu Hasegawa |
Math. Struct. Comput. Sci. | 1 |