6 citations · 7 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024
Sharing Analysis in the Pawns Compiler
Lee Naish
Pawns is a programming language under development that supports algebraic data types, polymorphism, higher order functions and "pure" declarative programming. It also supports impu…
cs.PL2007★ 1 cited
Declarative Diagnosis of Floundering
Lee Naish
Many logic programming languages have delay primitives which allow coroutining. This introduces a class of bug symptoms -- computations can flounder when they are intended to succe…