Sign in

On Dynamic Lifting and Effect Typing in Circuit Description Languages.

Andrea ColledanUgo Dal Lago
Published in: TYPES (2022)
Keyphrases
  • description languages
  • description language
  • wavelet transform
  • learning environment
  • multiresolution
  • domain knowledge
  • general purpose
  • high speed