programming-languages

Documents about programming-languages

• Why are there so many programming languages?#796527Stack Exchange
• Is Category Theory useful for learning functional programming?#796529Stack Exchange
• Why are some programming languages "faster" or "slower" than others?#796546Stack Exchange
• Syntax extensions for a constrained-object language via dynamic parser cooperation#948914Repositorio de Universidad Autónoma de Chile.
• Rel: A Programming Language for Relational Data#1014501arXiv (All)
• Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages#618703arXiv (OAI Expanded)
• Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages#620382arXiv (All)
• A Rig of Transformations#1012304arXiv (All)
• How can I explain to my parents that I study programming languages?#796586Stack Exchange
• Programming Languages#66771MIT OpenCourseWare
• Fine-grained Causal Reversibility for Asynchronous Channel-based Programming#790018arXiv (OAI Expanded)
• Fine-grained Causal Reversibility for Asynchronous Channel-based Programming#794037arXiv (All)
• What is a safe programming language?#796587Stack Exchange
• Staged Hybrid Quantum-Classical Programming#974836arXiv (All)
• Theories of Mind as Domain-Specific Languages of Thought#1014188arXiv (All)
• Support Local Variables#821537arXiv (All)
• Weighted NetKAT: A Programming Language For Quantitative Network Verification#820422arXiv (All)
• Causal Probabilistic Programming via Magmadic Do-Notation#920755arXiv (OAI Expanded)
• Causal Probabilistic Programming via Magmadic Do-Notation#924989arXiv (All)
• ShellVis: Sandboxed Live Programming for Shell Scripts#998569arXiv (All)
• Towards situation-oriented programming languages#729262PhilArchive
• Lambda Calculus Models of Programming Languages#464650MIT Open Scholarship
• Mapping Dynamic, Hierarchical Quantum Circuits#985467arXiv (All)
• DESIGNING A PROGRAMMING LANGUAGE FOR PATIENT-ORIENTED PRESCRIPTIONS (POP-PL)#902012ClinicalTrials.gov
• STRAWSON III: Computers, dead programming languages, and BASIC#78834PhilArchive
• Rules in programming languages and networks#95485PhilArchive
• Logical Relations for Session-Typed Concurrency#141624arXiv (OAI)
• Asynchronous Global Protocols, Precisely: Full Proofs#144297arXiv (OAI)
• Language-Integrated Recursive Queries (Full Version)#163113arXiv (OAI)
• Language and Rules#470504Open Library
• Equivalence Checking of ML GPU Kernels#611401arXiv (OAI Expanded)
• Equivalence Checking of ML GPU Kernels#612878arXiv (All)
• Dynamic quantum circuit compilation#920158arXiv (OAI Expanded)
• Dynamic quantum circuit compilation#924389arXiv (All)
• Corten - Foundational Verification of Rust Programs#927666arXiv (All)
• A Design Space Exploration of Async/Await#657101arXiv (OAI Expanded)
• A Design Space Exploration of Async/Await#659237arXiv (All)
• Quasar: A Programming Language Specialized for LLM Code Actions#668284arXiv (OAI Expanded)
• Quasar: A Programming Language Specialized for LLM Code Actions#670349arXiv (All)
• Dependent types vs refinement types#796552Stack Exchange
• What properties of a programming language make compilation impossible?#796565Stack Exchange
• Granthi: Higher-Order Quantum Programming via Unitary Wiring#986327arXiv (All)
• Separating Parsing Expression Grammars using Cell-Probe Lower Bounds#796819arXiv (OAI Expanded)
• Separating Parsing Expression Grammars using Cell-Probe Lower Bounds#798232arXiv (All)
• Multi-LCB: Extending LiveCodeBench to Multiple Programming Languages#290611arXiv CS
• Type-Directed Discretization of Probabilistic Programs (Extended Version)#618830arXiv (OAI Expanded)
• Type-Directed Discretization of Probabilistic Programs (Extended Version)#620509arXiv (All)
• Likelihood Hacking in Probabilistic Program Synthesis#628085arXiv (OAI Expanded)
• Likelihood Hacking in Probabilistic Program Synthesis#629947arXiv (All)
• Symbolic Basic Block Profiling for Machine Learning Kernels#657032arXiv (OAI Expanded)

Related topics