住井 英二郎  Sumii Eijiro

日本ソフトウェア科学会大会講演論文集

巻: 37

日本ソフトウェア科学会大会講演論文集

巻: 37

Lecture Notes in Computer Science

巻: 11893 ページ: 181-201

10.1007/978-3-030-34175-6_10

Functional and Logic Programming: 14th International Symposium, FLOPS 2018

巻: 印刷中

Functional and Logic Programming: 14th International Symposium, FLOPS 2018

巻: 印刷中

Lecture Notes in Computer Science

巻: 10818 ページ: 1-16

10.1007/978-3-319-90686-7_1

コンピュータソフトウェア

巻: 印刷中

130006855251

Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015, Electronic Proceedings in Theoretical Computer Science

巻: 241 ページ: 45-53

10.4204/eptcs.241.4

Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Lecture Notes in Computer Science

巻: 10017 ページ: 171-186

10.1007/978-3-319-47958-3_10

The OCaml Users and Developers Workshop (talk abstracts)

巻: 2015 ページ: 1-2

EPTCS

巻: 198 ページ: 1-21

10.4204/eptcs.198.1

The Ocaml Users and Developers Workshop (talk abstracts)

巻: 2015 ページ: 1-2

日本ソフトウェア科学会第32回大会（2015年度）講演論文集

巻: 2015 ページ: 1-7

40020657231

日本ソフトウェア科学会第32回大会(2015年度)講演論文集

巻: 2015 ページ: 1-7

40020657231

Proceedings of The OCaml Users and Developers Workshop

巻: - ページ: 1-3

Proceedings of ACM SIGPLAN ML Family Workshop

巻: 2014 ページ: 1-3

FCS'13: Workshop on Foundations of Computer Security (Informal Proceedings)

巻: - ページ: 68-82

FCS'13: Workshop on Foundations of Computer Security (Informal Proceedings)

巻: - ページ: 68-82

Proceedings of Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science

巻: 27 ページ: 531-540

10.1109/lics.2012.63

Lecture Notes in Computer Science

巻: 6604 ページ: 123-137

Electronic Notes in Theoretical Computer Science

巻: 276 ページ: 215-235

10.1016/j.entcs.2011.09.023

ACM Transactions on Programming Language Systems

巻: 33(1)

ACM Transactions on Programming Languages and Systems (TOPLAS)

巻: Vol.33

Theoretical Computer Science

巻: 411(51-52) ページ: 4358-4378

Proceedings of the 18th EACSL Annual Conference on Computer Science Logic(CSL'09) 5771

ページ: 455-469

Proceedings of 18th European Symposium on Programming, (Lecture Notes in Computer Science, Springer-Verlag, Germany) vol. 550

ページ: 237-251

Lecture Notes in Computer Science (Proceedings of 18th European Symposium on Programming) 5502

ページ: 237-251

コンピュータソフトウェア (採録決定)

130004549129

コンピュータソフトウェア 25

ページ: 28-38

130004549107

コンピュータソフトウェア, (岩波書店) 25巻2号

ページ: 28-38

130004549107

Proceedings of Twenty-Second Annual IEEE Symposium on Logic in Computer Science

ページ: 293-302

Elsevier Science, (issues 1-3) vol. 375

ページ: 169-192

Journal of the ACM 54-5-26

ページ: 1-43

Theoretical Computer Science 375・1-3

ページ: 169-192

Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science(LICS'07)

ページ: 293-302

応用数理, (岩波書店) 17巻4号

ページ: 16-26

Post-Proceedings of IPM International Symposium on Fundamentals of Software Engineering, (Lecture Notes in Computer Science, Springer-Verlag, Germany) vol. 4767

ページ: 364-379

第9回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 52-66

Proceedings of IEEE Symposium on Logic in Computer Science (LICS 2007) (出版決定)

Journal of the ACM, (issue 5, article 26) vol. 54

ページ: 1-43

第9回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 39-51

Functional and Declarative Programming in Education (FDPE05)

ページ: 27-38

Theoretical Computer Science (出版予定)