Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Nagoya University
Graduate School of Information Science

Address Furo-cho, Chikusa-ku
Nagoya 464-8603
Japan

Nagoya 464-8603

Projects

Research Grants
- Completed projects
  - LaST-FP: Linear Types and Session Types for Functional Programming
    (Applicant Thiemann, Peter )

© 2024 DFG Disclaimer / Copyright / Privacy Policy