Online Type-Directed Partial Evaluation

BRICS Report Series
doi 10.7146/brics.v4i53.19274
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Directed Graphs as Unions of Partial Orders

Pacific Journal of Mathematics
Mathematics
1971English

Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Type-Directed Continuation Allocation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Online Advertising and Marketing Directed Toward Children

OECD Digital Economy Papers
1999English

Type-Directed Continuation Allocation

2005English

Partial-Order Reduction and Trail Improvement in Directed Model Checking

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

Familial Partial Lipodystrophy, Köbberling Type

2020English

Partial Evaluation With Inference Rules

New Generation Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
1988English

Partial Alteration of a Protein Streptomyces Subtilisin Inhibitor by Site-Directed Mutagenesis.

Proceedings of the Japan Academy Series B: Physical and Biological Sciences
MultidisciplinaryBiological SciencesMedicineAgriculturalAstronomyPhysics
1988English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy