English

QINL: Query-integrated Languages

Programming Languages 2015-11-23 v1
Authors: Patrick Schultz , David I. Spivak , Ryan Wisnesky
View on arXiv ↗ PDF ↗

Abstract

We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ systems, we embed programs in a query language, and dub the result QINL.

Keywords

programming languages

Cite

@article{arxiv.1511.06459,
  title  = {QINL: Query-integrated Languages},
  author = {Patrick Schultz and David I. Spivak and Ryan Wisnesky},
  journal= {arXiv preprint arXiv:1511.06459},
  year   = {2015}
}

Related papers

View all related →
Databases · Computer Science
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version)
James Cheney, Sam Lindley, Philip Wadler
2014-05-05
Databases · Computer Science
A Functional Data Model and Query Language is All You Need
Jens Dittrich
2025-07-29
Programming Languages · Computer Science
Design of an intermediate representation for query languages
Romain Vernoux
2016-07-15
Quantum Physics · Physics
A functional quantum programming language
Thorsten Altenkirch, Jonathan Grattage
2008-05-06
Quantum Physics · Physics
QParallel: Explicit Parallelism for Programming Quantum Computers
Thomas Häner, Vadym Kliuchnikov, Martin Roetteler, Mathias Soeken +1
2023-11-27
Computation and Language · Computer Science
Semantic Parsing for Complex Data Retrieval: Targeting Query Plans vs. SQL for No-Code Access to Relational Databases
Ben Eyal, Amir Bachar, Ophir Haroche, Michael Elhadad
2023-12-25
Quantum Physics · Physics
InQuIR: Intermediate Representation for Interconnected Quantum Computers
Shin Nishio, Ryo Wakizaka
2023-02-02
Quantum Physics · Physics
isQ: Towards a Practical Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang +4
2023-11-22
Databases · Computer Science
TQL: Towards Type-Driven Data Discovery
Andrew Kang, Sainyam Galhotra
2025-08-12
Machine Learning · Computer Science
QUICK: Quantization-aware Interleaving and Conflict-free Kernel for efficient LLM inference
Taesu Kim, Jongho Lee, Daehyun Ahn, Sarang Kim +3
2024-02-16
Software Engineering · Computer Science
LLM-Powered Quantum Code Transpilation
Nazanin Siavash, Armin Moin
2025-12-09
Quantum Physics · Physics
On the Automation of Encoding Processes in the Quantum IO Monad
James Barratt
2012-10-03
Programming Languages · Computer Science
Qumin, a minimalist quantum programming language
Alexander Singh, Konstantinos Giannakis, Theodore Andronikos
2017-04-17
Computation and Language · Computer Science
QAEncoder: Towards Aligned Representation Learning in Question Answering Systems
Zhengren Wang, Qinhan Yu, Shida Wei, Zhiyu Li +5
2025-07-03
Computation and Language · Computer Science
Prompting Is Programming: A Query Language for Large Language Models
Luca Beurer-Kellner, Marc Fischer, Martin Vechev
2023-05-31
Databases · Computer Science
QirK: Question Answering via Intermediate Representation on Knowledge Graphs
Jan Luca Scheerer, Anton Lykov, Moe Kayali, Ilias Fountalis +3
2024-08-15
Artificial Intelligence · Computer Science
Effective Instruction Parsing Plugin for Complex Logical Query Answering on Knowledge Graphs
Xingrui Zhuo, Jiapu Wang, Gongqing Wu, Shirui Pan +1
2024-10-29
Quantum Physics · Physics
QRunes: High-Level Language for Quantum-Classical Hybrid Programming
Zhao-Yun Chen, Guo-Ping Guo
2019-01-25
Optimization and Control · Mathematics
On Hybrid Quantum and Classical Computing Algorithms for Mixed-Integer Programming
Chin-Yao Chang, Eric Jones, Yiyun Yao, Peter Graf +1
2022-01-21
Networking and Internet Architecture · Computer Science
QRscript: Embedding a Programming Language in QR codes to support Decision and Management
Stefano Scanzio, Gianluca Cena, Adriano Valenzano
2024-04-09
Information Retrieval · Computer Science
MiLQ: Benchmarking IR Models for Bilingual Web Search with Mixed Language Queries
Jonghwi Kim, Deokhyung Kang, Seonjeong Hwang, Yunsu Kim +2
2025-10-21
Software Engineering · Computer Science
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli
2025-04-08
Information Retrieval · Computer Science
Exploring Query Categorisation for Query Expansion: A Study
Dipasree Pal, Mandar Mitra, Samar Bhattacharya
2015-09-21
Computation and Language · Computer Science
Bridging the Language Gaps in Large Language Models with Inference-Time Cross-Lingual Intervention
Weixuan Wang, Minghao Wu, Barry Haddow, Alexandra Birch
2024-10-17
Databases · Computer Science
Rel: A Programming Language for Relational Data
Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin +11
2025-04-25
R2 v1 2026-06-22T11:50:05.469Z