🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

A type language for message passing component-based systems

Zorica Savanović, Letterio Galletta, Hugo Torres Vieira

cs.PL 🏛 ICICE 📚 6 cites 5 years ago

R.I.P. 👻 Ghosted

Sound Regular Corecursion in coFJ

Davide Ancona, Pietro Barbieri, ... (+2 more)

cs.PL 🏛 ECOOP 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Symbolic Execution Game Semantics

Yu-Yang Lin, Nikos Tzevelekos

cs.PL 🏛 ICFSCD 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala

Pascal Weisenburger, Guido Salvaneschi

cs.PL 🏛 Programming 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Generating a Generic Fluent API in Java

Tomoki Nakamaru, Shigeru Chiba

cs.PL 🏛 Programming 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Central Moment Analysis for Cost Accumulators in Probabilistic Programs

Di Wang, Jan Hoffmann, Thomas Reps

cs.PL 🏛 arXiv 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Monotone recursive types and recursive data representations in Cedille

Christopher Jenkins, Aaron Stump

cs.PL 🏛 Mathematical Structures in Computer Science 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Array Languages Make Neural Networks Fast

Artjoms Šinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz

cs.PL 🏛 ARRAY@PLDI 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Zoea -- Composable Inductive Programming Without Limits

Edward McDaid, Sarah McDaid

cs.PL 🏛 arXiv 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

A Component-Based Formal Language Workbench

Peter D. Mosses

cs.PL 🏛 F-IDE@FM 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Deeply Integrating C11 Code Support into Isabelle/PIDE

Frédéric Tuong, Burkhart Wolff

cs.PL 🏛 F-IDE@FM 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

The Expressive Power of Higher-Order Datalog

Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis

cs.PL 🏛 TPLP 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Kind Inference for Datatypes: Technical Supplement

Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira

cs.PL 🏛 PACMPL 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Fine-Grained, Language-Based Access Control for Database-Backed Applications

Ezra Zigmond, Stephen Chong, ... (+2 more)

cs.PL 🏛 Programming 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Which of My Transient Type Checks Are Not (Almost) Free?

Isaac Oscar Gariano, Richard Roberts, ... (+3 more)

cs.PL 🏛 VMIL@SPLASH 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Declarative Programming for Microcontrollers -- Datalog on Arduino

Mario Wenzel, Stefan Brass

cs.PL 🏛 DECLARE 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

ICurry

Sergio Antoy, Michael Hanus, ... (+2 more)

cs.PL 🏛 DECLARE 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Toward Structured Proofs for Dynamic Logics

Rose Bohrer, André Platzer

cs.PL 🏛 arXiv 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Space-Efficient Gradual Typing in Coercion-Passing Style

Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi

cs.PL 🏛 ECOOP 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

A Transformational Approach to Resource Analysis with Typed-norms Inference

Elvira Albert, Samir Genaim, ... (+2 more)

cs.PL 🏛 TPLP 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

A Dependently Typed Multi-Stage Calculus

Akira Kawata, Atsushi Igarashi

cs.PL 🏛 Asian Symposium on Programming Languages and Systems 📚 6 cites 6 years ago

R.I.P. 👻 Ghosted

Phoenix -- The Arabic Object-Oriented Programming Language

Youssef Bassil

cs.PL 🏛 International Journal of Computer Trends and Technology 📚 6 cites 7 years ago

R.I.P. 👻 Ghosted

Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification

Roberto Bagnara, Abramo Bagnara, ... (+3 more)

cs.PL 🏛 Constraints 📚 6 cites 7 years ago

R.I.P. 👻 Ghosted

A Dependently Typed Library for Static Information-Flow Control in Idris

Simon Gregersen, Søren Eller Thomsen, Aslan Askarov

cs.PL 🏛 The post 📚 6 cites 7 years ago