Work

A modular foreign function interface

Year: 2017

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2017.04.002

Authors: Jeremy Yallop, David Sheets, Anil Madhavapeddy

Institution: University of Cambridge

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Engineering and Physical Sciences Research Council

Award: REMS: Rigorous Engineering for Mainstream Systems

OpenAlex ID: W2187917193

FWCI: 1.342

Cites: 34

Cited by: 18

Related to: 10