Hardware Implementation of OCaml Using a Synchronous Functional Language.
Loïc SylvestreJocelyn SérotEmmanuel ChaillouxPublished in: PADL (2024)
Keyphrases
- hardware implementation
- functional language
- functional programming
- programming language
- proof planning
- signal processing
- efficient implementation
- fpga implementation
- software implementation
- image processing algorithms
- dedicated hardware
- execution model
- field programmable gate array
- concept formation
- general purpose
- object identity
- fpga technology
- artificial intelligence
- object oriented programming
- complex objects
- multi agent systems
- database systems