Tomoyuki Aotani

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+	Compilation Semantics for a Programming Language with Versions	2023	Yudai Tanabe Luthfan Anshar Lubis Tomoyuki Aotani Hidehiko Masuhara
+ PDF Chat	A Functional Programming Language with Versions	2021	Yudai Tanabe Luthfan Anshar Lubis Tomoyuki Aotani Hidehiko Masuhara
+ PDF Chat	Harmonizing Signals and Events with a Lightweight Extension to Java	2018	Tetsuo Kamina Tomoyuki Aotani

Common Coauthors

Coauthor	Papers Together
Yudai Tanabe	2
Hidehiko Masuhara	2
Luthfan Anshar Lubis	1
Tetsuo Kamina	1
Luthfan Anshar Lubis	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Putting the semantics into semantic versioning	2020	Patrick Lam Jens Dietrich David J. Pearce	2
+ PDF Chat	Complete and easy bidirectional typechecking for higher-rank polymorphism	2013	Jana Dunfield Neelakantan R. Krishnaswami	1
+ PDF Chat	An empirical comparison of dependency network evolution in seven software packaging ecosystems	2018	Alexandre Decan Tom Mens Philippe Grosjean	1
+ PDF Chat	Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types	2019	Jana Dunfield Neelakantan R. Krishnaswami	1
+ PDF Chat	Programming with algebraic effects and handlers	2014	Andrej Bauer Matija Pretnar	1
+ PDF Chat	Deriving Distributive Laws for Graded Linear Types	2021	Jack Hughes Michael Vollmer Dominic Orchard	1