Search: programming-journal.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Reactive Programming Without Functions (programming-journal.org)

4 points

2 years ago

32.

Broadening the View of Live Programmers (programming-journal.org)

4 points

2 years ago

33.

Fast, Flexible, Polyglot Instrumentation Support for Debuggers and Other Tools (programming-journal.org)

4 points

8 years ago

34.

Meta-Compilation of Baseline JIT Compilers with Druid (programming-journal.org)

3 points

a year ago

35.

Topology-Level Reactivity in Distributed Reactive Programs (2022) (programming-journal.org)

3 points

2 years ago

36.

Technical Dimensions of Programming Systems (programming-journal.org)

3 points

2 years ago

37.

Technical Dimensions of Programming Systems (programming-journal.org)

3 points

3 years ago

38.

Out-of-Things Debugging: A Live Debugging Approach for Internet of Things (programming-journal.org)

3 points

4 years ago

39.

Building a Secure Software Supply Chain with GNU Guix (programming-journal.org)

3 points

4 years ago

40.

Hybrid Incremental Compilers F. Cross-Module Extensibility+Internal Build System (programming-journal.org)

3 points

5 years ago

41.

One Monad to Prove Them All (programming-journal.org)

3 points

7 years ago

42.

PIE: A Domain-Specific Language for Interactive Software Development Pipelines (programming-journal.org)

3 points

8 years ago

43.

Introspection for C and Its Applications to Library Robustness (programming-journal.org)

3 points

8 years ago

44.

The Art, Science, and Engineering of Programming (programming-journal.org)

2 points

4 years ago

45.

Meta-Compilation of Baseline JIT Compilers with Druid (programming-journal.org)

2 points

a year ago

46.

Profunctor Optics: Modular Data Accessors (2017) (programming-journal.org)

2 points

8 years ago

47.

Chorex: Restartable, Language-Integrated Choreographies (2025) (programming-journal.org)

2 points

5 months ago

48.

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment (programming-journal.org)

2 points

a year ago

49.

Privacy-Respecting Type Error Telemetry at Scale (programming-journal.org)

2 points

2 years ago

50.

Real-World Choreographic Programming: Interoperatable Full-Duplex Asynchrony (programming-journal.org)

2 points

2 years ago

51.

Provably Fair Cooperative Scheduling (programming-journal.org)

2 points

2 years ago

52.

The Design Principles of the Elixir Type System (programming-journal.org)

2 points

2 years ago

53.

Coqlex: Generating Formally Verified Lexers (programming-journal.org)

2 points

3 years ago

54.

Notes on “Notes on the Synthesis of Form” (programming-journal.org)

2 points

3 years ago

55.

Gradual Soundness: Lessons from Static Python (programming-journal.org)

2 points

3 years ago

56.

Programming Paradigms, Turing Completeness and Computational Thinking (programming-journal.org)

2 points

4 years ago

57.

Advanced Join Patterns for the Actor Model Based on CEP Techniques (programming-journal.org)

2 points

4 years ago

58.

Language Support for Generic Programming: When Genericity Is a Core Design Goal (programming-journal.org)

2 points

4 years ago

59.

A Theory of Composing Protocols (programming-journal.org)

2 points

4 years ago

60.

Advanced Join Patterns for the Actor Model Based on CEP Techniques (programming-journal.org)

2 points

4 years ago