🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality

Weixin Zhang, Bruno Oliveira

cs.PL 🏛 Programming 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Exceptionally Monadic Error Handling

Jan Malakhovski

cs.PL 🏛 arXiv 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Erlang Code Evolution Control (Use Cases)

David Insa, Sergio Pérez, ... (+2 more)

cs.PL 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Enforcing Programming Guidelines with Region Types and Effects

Serdar Erbatur, Martin Hofmann, Eugen Zalinescu

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

R.I.P. 👻 Ghosted

Correct by construction

M. H. van Emden

cs.PL 🏛 arXiv 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Coroutines with Higher Order Functions

Dimitri Racordon

cs.PL 🏛 arXiv 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

A Practical Mode System for Recursive Definitions

Alban Reynaud, Gabriel Scherer, Jeremy Yallop

cs.PL 🏛 arXiv 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Some Challenges of Specifying Concurrent Program Components

Ian J. Hayes

cs.PL 🏛 Refine@FM 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java

Alessandro Coglio

cs.PL 🏛 ICATPIA W 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Defunctionalization of Higher-Order Constrained Horn Clauses

Long Pham, Steven J. Ramsay, C. -H. Luke Ong

cs.PL 🏛 arXiv 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Verification of High-Level Transformations with Inductive Refinement Types

Ahmad Salim Al-Sibahi, Thomas P. Jensen, ... (+2 more)

cs.PL 🏛 ICGPCE 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Gradual Session Types

Atsushi Igarashi, Peter Thiemann, ... (+3 more)

cs.PL 🏛 Journal of functional programming 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Reference Type Logic Variables in Constraint-logic Object-oriented Programming

Jan C. Dageförde

cs.PL 🏛 ICFCLP W 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Using SWISH to realise interactive web based tutorials for logic based languages

Jan Wielemaker, Fabrizio Riguzzi, ... (+4 more)

cs.PL 🏛 TPLP 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Guided Unfoldings for Finding Loops in Standard Term Rewriting

Etienne Payet

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Josephine: Using JavaScript to safely manage the lifetimes of Rust data

Alan Jeffrey

cs.PL 🏛 arXiv 📚 3 cites 7 years ago

R.I.P. 👻 Ghosted

Compiling with Continuations and LLVM

Kavon Farvardin, John Reppy

cs.PL 🏛 ML/OCAML 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Vector Programming Using Structural Recursion

Marco T. Morazán

cs.PL 🏛 TFPIE@TFP 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Language-integrated provenance in Haskell

Jan Stolarek, James Cheney

cs.PL 🏛 Programming 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers

Pritam M. Gharat, Uday P. Khedker, Alan Mycroft

cs.PL 🏛 arXiv 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Erlang Code Evolution Control

David Insa, Sergio Pérez, ... (+2 more)

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

Verification of Programs via Intermediate Interpretation

Alexei P. Lisitsa, Andrei P. Nemytykh

cs.PL 🏛 VPT@ETAPS 📚 3 cites 8 years ago

R.I.P. 👻 Ghosted

A Simulation Tool for tccp Programs

María-del-Mar Gallardo, Leticia Lavado, Laura Panizo

cs.PL 🏛 WLP / WFLP 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

An introduction to approximate computing

M. Ammar Ben Khadra

cs.PL 🏛 arXiv 📚 3 cites 8 years ago