| | Coqlex: Generating Formally Verified Lexers (programming-journal.org) |
|
2 points by mpweiher on June 23, 2023 | past
|
|
| | The Art of the Meta Stream Protocol: Torrents of Streams (2021) (programming-journal.org) |
|
1 point by mpweiher on May 13, 2023 | past | 1 comment
|
|
| | Sham: A DSL for Fast DSLs (2022) (programming-journal.org) |
|
1 point by mpweiher on April 1, 2023 | past
|
|
| | An Optimised Flow for Futures: From Theory to Practice (programming-journal.org) |
|
1 point by mpweiher on March 15, 2023 | past
|
|
| | Technical Dimensions of Programming Systems (programming-journal.org) |
|
3 points by mpweiher on March 1, 2023 | past
|
|
| | Control Flow Duplication for Columnar Arrays in a Dynamic Compiler (programming-journal.org) |
|
1 point by mpweiher on Feb 28, 2023 | past
|
|
| | Notes on “Notes on the Synthesis of Form” (programming-journal.org) |
|
2 points by mpweiher on Feb 28, 2023 | past
|
|
| | Gradual Soundness: Lessons from Static Python (programming-journal.org) |
|
9 points by EntICOnc on Feb 11, 2023 | past
|
|
| | Gradual Soundness: Lessons from Static Python (programming-journal.org) |
|
2 points by mpweiher on Jan 27, 2023 | past
|
|
| | Revisiting Language Support for Generic Programming (programming-journal.org) |
|
1 point by matt_d on Jan 25, 2023 | past
|
|
| | Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs (programming-journal.org) |
|
31 points by mpweiher on Nov 26, 2022 | past | 5 comments
|
|
| | Using Relational Problems to Teach Property-Based Testing (programming-journal.org) |
|
1 point by mpweiher on Nov 26, 2022 | past
|
|
| | Programming Paradigms, Turing Completeness and Computational Thinking (programming-journal.org) |
|
2 points by anupj on Nov 26, 2022 | past
|
|
| | Advanced Join Patterns for the Actor Model Based on CEP Techniques (programming-journal.org) |
|
2 points by mpweiher on Nov 26, 2022 | past
|
|
| | Language Support for Generic Programming: When Genericity Is a Core Design Goal (programming-journal.org) |
|
2 points by mpweiher on Nov 25, 2022 | past
|
|
| | A Theory of Composing Protocols (programming-journal.org) |
|
42 points by mpweiher on Nov 25, 2022 | past
|
|
| | A Theory of Composing Protocols (programming-journal.org) |
|
2 points by mpweiher on Nov 24, 2022 | past
|
|
| | Out-of-Things Debugging: A Live Debugging Approach for Internet of Things (programming-journal.org) |
|
3 points by mpweiher on Nov 24, 2022 | past
|
|
| | Advanced Join Patterns for the Actor Model Based on CEP Techniques (programming-journal.org) |
|
2 points by mpweiher on Aug 27, 2022 | past
|
|
| | The Art, Science, and Engineering of Programming (programming-journal.org) |
|
2 points by vikrantrathore on July 18, 2022 | past | 2 comments
|
|
| | Building a secure software supply chain with GNU Guix (programming-journal.org) |
|
120 points by dragonsh on July 18, 2022 | past | 6 comments
|
|
| | Building a Secure Software Supply Chain with GNU Guix (programming-journal.org) |
|
3 points by pabs3 on July 9, 2022 | past
|
|
| | Gradual soundness: Lessons from static Python (programming-journal.org) |
|
2 points by mpweiher on June 29, 2022 | past
|
|
| | Building a Secure Software Supply Chain with GNU Guix (programming-journal.org) |
|
5 points by mpweiher on June 29, 2022 | past
|
|
| | Debootstrapping Without Archeology: Stacked Implementations in Camlboot (programming-journal.org) |
|
2 points by pabs3 on April 4, 2022 | past
|
|
| | The Art of the Meta Stream Protocol: Torrents of Streams (programming-journal.org) |
|
1 point by mpweiher on Feb 18, 2022 | past
|
|
| | Types for Tables: A Language Design Benchmark (programming-journal.org) |
|
12 points by mpweiher on Nov 25, 2021 | past | 1 comment
|
|
| | Gavial: Programming the web with multi-tier FRP (programming-journal.org) |
|
1 point by mpweiher on July 20, 2021 | past
|
|
| | Sham: A DSL for Fast DSLs (programming-journal.org) |
|
12 points by mpweiher on July 20, 2021 | past
|
|
| | Deriving Static Security Testing from Runtime Security Protection for Web Apps (programming-journal.org) |
|
1 point by mpweiher on July 17, 2021 | past
|
|
|
|
More |
