Type-Based Gradual Typing Performance Optimization.

John Peter Campora III Mohammad Wahiduzzaman Khan Sheng Chen

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

optimization method
optimization problems
optimization algorithm
optimization process
global optimization
real time
neural network
machine learning
image sequences
video sequences
combinatorial optimization
constrained optimization
multiple objectives
robust optimization