E-LIB Suche - Ergebnisse für: Masuhara, Hidehiko

1

An Intrinsically Typed Compiler for Algebraic Effect Handle..:

, In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Tsuyama, Syouki ; Cong, Youyou ; Masuhara, Hidehiko - p. 134-145 , 2024

Link: https://dl.acm.org/doi/1..

2

Typed Equivalence of Labeled Effect Handlers and Labeled De..:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Ikemori, Kazuki ; Cong, Youyou ; Masuhara, Hidehiko - p. 1-13 , 2023

Link: https://dl.acm.org/doi/1..

3

Compilation Semantics for a Programming Language with Versi..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Tanabe, Yudai ; Lubis, Luthfan Anshar ; Aotani, Tomoyuki. - p. 3-23 , 2023

Link: https://doi.org/10.1007/..

4

Mind the Error Message: An Inverted Quiz Format to Direct L..:

, In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1,

Tsunoda, Kazuhiro ; Masuhara, Hidehiko ; Cong, Youyou - p. 382-388 , 2023

Link: https://dl.acm.org/doi/1..

5

An expressive and modular layer activation mechanism for Co..:

Leger, Paul ; Cardozo, Nicolás ; Masuhara, Hidehiko
Information and Software Technology. 156 (2023) - p. 107132 , 2023

Link: https://doi.org/10.1016/..

6

A systematic literature review on the impact of formatting ..:

Oliveira, Delano ; Santos, Reydne ; Madeiral, Fernanda..
Journal of Systems and Software. 203 (2023) - p. 111728 , 2023

Link: https://doi.org/10.1016/..

7

Proceedings of the 15th ACM International Workshop on Conte..:

Tanabe, Yudai ; Schütze, Lars ; Hirschfeld, Robert.. , 2023

Link: https://dl.acm.org/doi/1..

8

Program State Visualizer with User-Defined Representation C..:

, In: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques,

Apriyadi, Rifqi Adlan ; Masuhara, Hidehiko ; Cong, Youyou - p. 5-10 , 2023

Link: https://dl.acm.org/doi/1..

9

BatakJava: An Object-Oriented Programming Language with Ver..:

, In: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering,

Lubis, Luthfan Anshar ; Tanabe, Yudai ; Aotani, Tomoyuki. - p. 222-234 , 2022

Link: https://dl.acm.org/doi/1..

10

An Approach to Collecting Object Graphs for Data-structure ..:

Takahashi, Shusuke ; Izawa, Yusuke ; Masuhara, Hidehiko.
Journal of Information Processing. 30 (2022) 0 - p. 451-463 , 2022

Link: https://doi.org/10.2197/..

11

Mio: A Block-Based Environment for Program Design:

, In: Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E,

Nose, Junya ; Cong, Youyou ; Masuhara, Hidehiko - p. 62-69 , 2022

Link: https://dl.acm.org/doi/1..

12

Towards Efficient Adjustment of Effect Rows:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,

Furudono, Naoya ; Cong, Youyou ; Masuhara, Hidehiko. - p. 169-191 , 2022

Link: https://doi.org/10.1007/..

13

Sound and Complete Type Inference for Closed Effect Rows:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,

Ikemori, Kazuki ; Cong, Youyou ; Masuhara, Hidehiko. - p. 144-168 , 2022

Link: https://doi.org/10.1007/..

14

CodeMap: A Graphical Note-Taking Tool Cooperating with an I..:

, In: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming,

Taniguchi, Rikito ; Masuhara, Hidehiko - p. 54-59 , 2022

Link: https://dl.acm.org/doi/1..

15

A Step toward Programming with Versions in Real-World Funct..:

, In: COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP),

Tanabe, Yudai ; Lubis, Luthfun Anshar ; Aotani, Tomoyuki. - p. 44-51 , 2022

Link: https://dl.acm.org/doi/1..