Integrating functional and imperative programming

1986/01/01 by David K. Gifford, John M. Lucassen · 2 voices · 3 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques

paper · doi:10.1145/319838.319848

crossref issued 1986/01/01 · crossref published 1986/01/01 · crossref published-print 1986/01/01 · openalex publication_date 1986/01/01 · crossref created 2004/02/03 · crossref deposited 2025/06/18 · openalex created_date 2025/10/10 · crossref indexed 2026/05/11 · openalex updated_date 2026/07/29

Citations

• Can programming be liberated from the von Neumann style?

Cited by

• Spegion: Implicit and Non-Lexical Regions with Sized Allocations
• Conception, evolution, and application of functional programming languages
• The FX-87 Interpreter

Discussions

• Reading the manual it seems like the thunking effectful code with `subr` was possible in FX: - “Integrating functional and imperative programming” 10.0.4.121/319838.319848 - “FX-87 Reference Manual” [bsky, 0 points, 0 comments]
• Turns out effect systems were already researched in the 80s doi.org/10.1145/3198... (Gifford 1986, lisp :) [bsky, 0 points, 1 comments]