• Publications
  • Influence
A Typed Lambda Calculus with Categorical Type Constructors
  • T. Hagino
  • Computer Science
  • Category Theory and Computer Science
  • 7 September 1987
TLDR
A typed lambda calculus with categorical type constructors is introduced. Expand
  • 131
  • 8
A categorical programming language
  • T. Hagino
  • Computer Science
  • ArXiv
  • 11 October 2020
TLDR
A theory of data types based on category theory is presented. Expand
  • 81
  • 3
  • PDF
Codatatypes in ML
  • T. Hagino
  • Computer Science, Mathematics
  • J. Symb. Comput.
  • 1 December 1989
TLDR
A new data type declaration mechanism of defining codatatypes is introduced to a functional programming language ML. Expand
  • 18
  • 1
Proceedings of the 14th international conference on World Wide Web
TLDR
This year's conference maintains the traditional 1:3:1 format including: a day of tutorial and workshop sessions, three days of keynotes, paper tracks and poster presentations as well as the special W3C track, and finishes with Developers' Day.Welcome to Japan and WWW2005. Expand
  • 10
  • 1
Exploiting Multiple Radii to Learn Significant Locations
TLDR
We propose a method to cluster positions measured by cellular phones into significant locations with multiple radii, a specialized form of location context. Expand
  • 17
  • 1
Effects and Performance of Content Negotiation Based on CC/PP
TLDR
We describe our investigation of the effectiveness ofWeb content negotiation using CC/PP and the use of indirect reference and abbreviating profile-diffs. Expand
  • 9
Towards Efficient Sport Data Integration through Semantic Annotation
TLDR
In news genre, the sport domain is one of great interest to audiences on many occasions. Expand
  • 5
Ad-hoc Filesystem: A Novel Network Filesystem for Ad-hoc Wireless Networks
TLDR
We propose a new filesystem named Ad-hoc Filesystem which automatically generates temporary shared space among multiple mobile machines when they gather in a communicable range. Expand
  • 5
Proof System
  • 5
...
1
2
3
...