-
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL.
Extended abstract,
Slides,
Video.
An invited talk
at 15th International Symposium on Functional and Logic Programming (FLOPS'20), presented on 8, September, 2020.
- SOL system (web interface)
is available. You can try confluence and termination checking of
higher-order computation by SOL at the web.
-
SOL
(SOL-2200) finally won
in higher-order rewriting (HRS) category
of Confluence Competition
(CoCo'20)!
Tool introduction of SOL in IWC.
- Postdoc/internship positions available. If you are interested
in working on SOL or related matter with us, please contact me.
- My new draft paper on arXiv:
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
- [April 2020] 日本学術振興会 科研費 基盤(B)に採択されました。研究課題「真代数型:高階書換えに基づく安全性保証付きデータ型の原理・推論・実践」
- I serve as a PC member of
the 25th ACM SIGPLAN International Conference on Functional Programming (ICFP'20)
.
- I serve as a PC member of
11th International Workshop on Computing with Terms and Graphs (TERMGRAPH'20)
.
- I serve as a PC member of
9th International Workshop on Confluence (IWC'20)
.
- Our tool SOL
participated
Confluence Competition
(CoCo'18)
and
Termination Competition 2018,
which is developed by SOL Team 2018: Makoto Hamana, and
Kentaro Kikuchi.
SOL's results: confluence (HRS category) , termination (Higher-order union beta)
- Our paper on foundations of a calculus of graph database
was accepted to a journal
Mathematical Structures in Computer Science.
- Here are the
slides
and
recorded video
of my ICFP'17 talk.
- Our tool SOL
participates
Confluence Competition (CoCo'17)
(Result)
and
Termination Competition 2017
(Result),
developed by SOL Team: Makoto Hamana,
Tatsuya Abe,
Yuito Murase, and
Kazuhiko Sakaguchi.
-
チュートリアル プログラミング言語研究のための(高階)項書換え系入門
[スライド (slides)]
(Tutorial: Introduction to term rewriting for theories of programming languages)
(第18回プログラミングおよびプログラミング言語ワークショップ
- I gave a lecture
on
semantics of higher-order rewriting
at
International Summer School on Rewriting
(ISR 2015) in August 10-14, at Leipzig, Germany.
Leipzig was a nice city and I enjoyed
lecturing.
Here is material of my lecture:
[A] Slides for lecture 1
[B] Slides for lecture 2
[C] Reference.
|
- Proceedings of
Workshop on Higher-Order Rewriting (HOR'12) is available.