A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-19805-2_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Modified Linear Programming

1960English

Linear Time Hierarchies for a Functional Language Machine Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Efficient Differentiable Programming in a Functional Array-Processing Language

Proceedings of the ACM on Programming Languages
2019English

Modified Realizability Interpretation of Classical Linear Logic

2007English

CAOPLE: A Programming Language for Microservices SaaS

2016English

Semantic Constructs for a Persistent Programming Language

Workshops in Computing
1993English

SAFE: A Programming Language for Software Quality

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1995English

A Qualitative Study of LP-ITS: Linear Programming Intelligent Tutoring System

International Journal of Computer Science and Information Technology
2012English

Choc : A Command and Programming Language

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy