Types as a Specification Language for Creativity | Science Tokyo Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Types as a Specification Language for Creativity

Author

Japanese:	叢悠悠.
English:	Youyou Cong.

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

Published date

Oct. 14, 2025

Publisher

Japanese:
English:

Conference name

Japanese:
English:	The 6th International Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2025)

Conference site

Japanese:
English:	Singapore

©2007 Institute of Science Tokyo All rights reserved.