Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: A Value Transmission Method for Abstract Data Types
Programming with abstract data types
Local atomicity properties: modular concurrency control for abstract data types
Blockchain Abstract Data Type
Abstract data types and software validation
A model for adaptable systems for transaction processing
From Theory to Practice: Plug and Play with Succinct Data Structures
Descending chains and narrowing on template abstract domains
Naiad: a timely dataflow system
Foundations for structured programming with GADTs
ProteusTM: Abstraction Meets Performance in Transactional Memory
High-level small-step operational semantics for transactions
Auditable Data Structures
Opportunistic data structures with applications
A general framework for adaptive processing of data structures
Abstraction in Computer Science
A Theory of Communicating Sequential Processes
The design and implementation of typed scheme
Transactional data structure libraries
Semantics of data streams and operators
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
Regularized Structured Perceptron: A Case Study on Chinese Word Segmentation, POS Tagging and Parsing
An axiomatic basis for computer programming
TruffleC: dynamic execution of C on a Java virtual machine
On-ChipBoostDC-DCConverter inColorOLED Driver & Controller ICsforMobileApplication
next generation benchmark control problem for seismically excited buildings .