Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-61055-3_30
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

2020English

Fast Type Reconstruction for Dynamically Typed Programming Languages

2009English

Run-Time Support for Distributed Sharing in Typed Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

"May You Have a Strong (-Typed) Foundation" Why Strong-Typed Programming Languages Do Matter

2004English

Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages

Science of Computer Programming
Software
2010English

Search-Based Test Case Generation for Object-Oriented Java Software Using Strongly-Typed Genetic Programming

2008English

CyBy2: A Strongly Typed, Purely Functional Framework for Chemical Data Management

Journal of Cheminformatics
Computer GraphicsInformation SciencesLibraryTheoretical ChemistryComputer Science ApplicationsComputer-Aided DesignPhysical
2019English

A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Value Chain Laboratory : Alternative Evaluation Method for Assessing Value Chain Dynamics

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy