↓ Skip to main content
What is this page? Embed badge

Programming Languages and Systems

Overview of attention for book
Cover of 'Programming Languages and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Scalable and Modular Robustness Analysis of Deep Neural Networks
  3. Altmetric Badge
    Chapter 2 Function Pointer Eliminator for C Programs
  4. Altmetric Badge
    Chapter 3 PyCT: A Python Concolic Tester
  5. Altmetric Badge
    Chapter 4 Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
  6. Altmetric Badge
    Chapter 5 Server-Side Computation of Package Dependencies in Package-Management Systems
  7. Altmetric Badge
    Chapter 6 Fully Abstract and Robust Compilation
  8. Altmetric Badge
    Chapter 7 A Dictionary-Passing Translation of Featherweight Go
  9. Altmetric Badge
    Chapter 8 Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus
  10. Altmetric Badge
    Chapter 9 A Compilation Method for Dynamic Typing in ML
  11. Altmetric Badge
    Chapter 10 The Choice Construct in the Soufflé Language
  12. Altmetric Badge
    Chapter 11 Latent Effects for Reusable Language Components
  13. Altmetric Badge
    Chapter 12 Adaptable Traces for Program Explanations
  14. Altmetric Badge
    Chapter 13 A Typed Programmatic Interface to Contracts on the Blockchain
  15. Altmetric Badge
    Chapter 14 Simplifying Alternating Automata for Emptiness Testing
  16. Altmetric Badge
    Chapter 15 Termination Analysis for the $$\pi $$ π -Calculus by Reduction to Sequential Program Termination
  17. Altmetric Badge
    Chapter 16 Proving LTL Properties of Bitvector Programs and Decompiled Binaries
  18. Altmetric Badge
    Chapter 17 Solving Not-Substring Constraint withFlat Abstraction
Attention for Chapter 9: A Compilation Method for Dynamic Typing in ML
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Compilation Method for Dynamic Typing in ML
Chapter number 9
Book title
Programming Languages and Systems
Published by
Springer, Cham, January 2021
DOI 10.1007/978-3-030-89051-3_9
Book ISBNs
978-3-03-089050-6, 978-3-03-089051-3
Authors

Ohori, Atsushi, Ueno, Katsuhiro

View on publisher site

This page is provided by Altmetric.