Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Denis Bechet
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Fast Type Reconstruction for Dynamically Typed Programming Languages
Run-Time Support for Distributed Sharing in Typed Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
"May You Have a Strong (-Typed) Foundation" Why Strong-Typed Programming Languages Do Matter
Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages
Science of Computer Programming
Software
Search-Based Test Case Generation for Object-Oriented Java Software Using Strongly-Typed Genetic Programming
CyBy2: A Strongly Typed, Purely Functional Framework for Chemical Data Management
Journal of Cheminformatics
Computer Graphics
Information Sciences
Library
Theoretical Chemistry
Computer Science Applications
Computer-Aided Design
Physical
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Value Chain Laboratory : Alternative Evaluation Method for Assessing Value Chain Dynamics
