Submissions from programming-journal.org

		Implementing Dependent Data and Codata Types with Implicit Arguments (2025) (programming-journal.org)
		1 point by mpweiher 78 days ago \| past
		Chorex: Restartable, Language-Integrated Choreographies (2025) (programming-journal.org)
		2 points by mpweiher 78 days ago \| past
		Arrays in Practice (2024) (programming-journal.org)
		12 points by mpweiher 7 months ago \| past
		PolyDebug: A Framework for Polyglot Debugging (programming-journal.org)
		1 point by mpweiher on March 9, 2025 \| past
		The State of Coherence in the Land of Type Classes (programming-journal.org)
		21 points by mpweiher on March 9, 2025 \| past \| 2 comments
		An Attempt to Catch Up with JITs: The False Lead of Optimizing Inline Caches (programming-journal.org)
		25 points by mpweiher on March 9, 2025 \| past \| 1 comment
		Meta-Compilation of Baseline JIT Compilers with Druid (programming-journal.org)
		3 points by mpweiher on March 9, 2025 \| past
		Probing the Design Space: Parallel Versions for Exploratory Programming (programming-journal.org)
		1 point by mpweiher on March 9, 2025 \| past
		Meta-Compilation of Baseline JIT Compilers with Druid (programming-journal.org)
		2 points by mpweiher on March 8, 2025 \| past \| 1 comment
		Schema Evolution in Interactive Programming Systems (programming-journal.org)
		1 point by mpweiher on Dec 23, 2024 \| past
		Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment (programming-journal.org)
		2 points by mpweiher on Dec 18, 2024 \| past
		Out-of-Things Debugging: A Live Debugging Approach for Internet of Things (2022) (programming-journal.org)
		1 point by mpweiher on June 16, 2024 \| past
		Language Support for Generic Programming: Genericity as a Core Design Goal(2022) (programming-journal.org)
		1 point by mpweiher on June 16, 2024 \| past
		A Theory of Composing Protocols (2023) (programming-journal.org)
		96 points by mpweiher on April 6, 2024 \| past \| 17 comments
		Reactive Programming Without Functions (programming-journal.org)
		64 points by mpweiher on March 24, 2024 \| past \| 15 comments
		Reactive Programming Without Functions (programming-journal.org)
		4 points by mpweiher on March 20, 2024 \| past
		Scheduling GC for Energy Efficiency on Asymmetric Multicore Processors (programming-journal.org)
		1 point by mpweiher on March 20, 2024 \| past
		Broadening the View of Live Programmers (programming-journal.org)
		4 points by mpweiher on March 20, 2024 \| past
		Privacy-Respecting Type Error Telemetry at Scale (programming-journal.org)
		2 points by mpweiher on March 20, 2024 \| past
		Collective Allocator Abstraction to Control Object Spatial Locality in C++ (programming-journal.org)
		5 points by mpweiher on March 20, 2024 \| past
		Broadening the View of Live Programmers (programming-journal.org)
		2 points by mpweiher on March 19, 2024 \| past
		Arrays in Practice (programming-journal.org)
		1 point by mpweiher on March 19, 2024 \| past
		LiveRec: Prototyping Probes by Framing Debug Protocols (programming-journal.org)
		1 point by mpweiher on March 19, 2024 \| past
		Topology-Level Reactivity in Distributed Reactive Programs (2022) (programming-journal.org)
		3 points by mpweiher on March 8, 2024 \| past
		Real-World Choreographic Programming: Interoperatable Full-Duplex Asynchrony (programming-journal.org)
		2 points by PaulHoule on Jan 12, 2024 \| past
		Provably Fair Cooperative Scheduling (programming-journal.org)
		2 points by mpweiher on Jan 11, 2024 \| past
		The Design Principles of the Elixir Type System (programming-journal.org)
		62 points by mpweiher on Jan 10, 2024 \| past \| 19 comments
		Provably Fair Cooperative Scheduling (programming-journal.org)
		1 point by mpweiher on Jan 10, 2024 \| past
		Technical Dimensions of Programming Systems (programming-journal.org)
		1 point by mpweiher on Jan 8, 2024 \| past
		Technical Dimensions of Programming Systems (programming-journal.org)
		3 points by Kinrany on Jan 7, 2024 \| past
		More

HN For You