Every bit counts: The binary representation of typed data and programs
Work
Year: 2012
Type: article
Abstract: We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed and verified with the help of question–answer games. The encoding of a value is determined ... more
Authors Andrew Kennedy, Dimitrios Vytiniotis
Institution Microsoft Research (United Kingdom)
Cites: 41
Cited by: 11
Related to: 10
FWCI: 0.723
Citation percentile (by year/subfield): 85.14
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: bronze