Declarative foreign function binding through generic programming

DOI10.1007/978-3-319-29604-3_13MaRDI QIDQ2798279zbMATH OpenOpenAlexFDO

Authors Jeremy Yallop, David Sheets, Anil Madhavapeddy

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)

Recommendations

• JNI light: an operational model for the core JNI
• Implementation of Functional Languages
• A language for generic programming in the large
• A functional approach to generic programming using adaptive traversals
• Generation of abstract programming interfaces from syntax definitions

Cites work

• Encoding types in ML-like languages
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Generics for the masses
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 2100542 (Why is no real title available?)
• scientific article; zbMATH DE number 2111733 (Why is no real title available?)

Cited in

(1)

• JNI light: an operational model for the core JNI

Describes a project that uses

Uses Software

• SWIG
• OCaml
• Lwt

This page was built for publication: Declarative foreign function binding through generic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2798279)