2009 Fiscal Year Final Research Report
A Theory of Inductive Data Types Involving Safe Pointers
| Project/Area Number |
19700006
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
HAMANA Makoto Gunma University, 大学院・工学研究科, 助教 (90334135)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Keywords | 関数型プログラミング言語 / 項書換え・データ構造・情報基礎 |
|---|
| Research Abstract |
Cyclic sharing tree structures appear very often in logic and theoretical computer science. We investigate a mathematically clean representation of them. We apply the obtained representation to inductive datatypes in functional programming languages.
|
