מאמרים עם הרשאות לגישה ציבורית - Kazutaka Matsudaלמידע נוסף
זמינים באתר כלשהו: 7
Refactoring pattern matching
M Wang, J Gibbons, K Matsuda, Z Hu
Science of Computer Programming 78 (11), 2216-2242, 2013
הרשאות: UK Engineering and Physical Sciences Research Council
Sparcl: a language for partially-invertible computation
K Matsuda, M Wang
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-31, 2020
הרשאות: UK Engineering and Physical Sciences Research Council
Synbit: synthesizing bidirectional programs using unidirectional sketches
M Yamaguchi, K Matsuda, C David, M Wang
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021
הרשאות: UK Engineering and Physical Sciences Research Council, Royal Society UK
Sparcl: A language for partially invertible computation
K Matsuda, M Wang
Journal of Functional Programming 34, e2, 2024
הרשאות: UK Engineering and Physical Sciences Research Council
Embedding by unembedding
K Matsuda, S Frohlich, M Wang, N Wu
Proceedings of the ACM on Programming Languages 7 (ICFP), 1-47, 2023
הרשאות: UK Engineering and Physical Sciences Research Council
Reconciling Partial and Local Invertibility
A Ågren Thuné, K Matsuda, M Wang
European Symposium on Programming, 59-89, 2024
הרשאות: Marianne and Marcus Wallenberg Foundation, UK Engineering and Physical …
Synbit: synthesizing bidirectional programs using unidirectional sketches
M Yamaguchi, K Matsuda, C David, M Wang
Formal Methods in System Design 61 (2), 198-247, 2022
הרשאות: UK Engineering and Physical Sciences Research Council, Royal Society UK
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב