Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Naohiko Hoshino
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modified Linear Programming
Linear Time Hierarchies for a Functional Language Machine Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Differentiable Programming in a Functional Array-Processing Language
Proceedings of the ACM on Programming Languages
Modified Realizability Interpretation of Classical Linear Logic
CAOPLE: A Programming Language for Microservices SaaS
Semantic Constructs for a Persistent Programming Language
Workshops in Computing
SAFE: A Programming Language for Software Quality
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
A Qualitative Study of LP-ITS: Linear Programming Intelligent Tutoring System
International Journal of Computer Science and Information Technology
Choc : A Command and Programming Language
