Declarative Foreign Function Binding Through Generic Programming

DOI10.1007/978-3-319-29604-3_13zbMath1475.68098OpenAlexW2403180516MaRDI QIDQ2798279

Jeremy Yallop, Anil Madhavapeddy, David Sheets

Publication date: 4 April 2016

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29604-3_13

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SWIG
• OCaml
• Lwt

Cites Work

• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Encoding types in ML-like languages
• Generics for the masses
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Declarative Foreign Function Binding Through Generic Programming