Work

Functional programs as compressed data

Year: 2012

Type: conference-paper

Source: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)

DOI: 10.1145/2103746.2103770

Authors: Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara

Institution: Tohoku University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Japan Society for the Promotion of Science

Awards: Foundational technology for light-weight XML-DBMS based on very fast compressed data stream processing, Higher-Order Model Checking and its Applications

OpenAlex ID: W2095051069

FWCI: 2.203

Cites: 51

Cited by: 17

Related to: 10