Search: programming-journal.org | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Reactive Programming Without Functions

programming-journal.org

2 years ago

4 points

32.

Broadening the View of Live Programmers

programming-journal.org

2 years ago

4 points

33.

Fast, Flexible, Polyglot Instrumentation Support for Debuggers and Other Tools

programming-journal.org

8 years ago

4 points

34.

Meta-Compilation of Baseline JIT Compilers with Druid

programming-journal.org

a year ago

3 points

35.

Topology-Level Reactivity in Distributed Reactive Programs (2022)

programming-journal.org

2 years ago

3 points

36.

Technical Dimensions of Programming Systems

programming-journal.org

2 years ago

3 points

37.

Technical Dimensions of Programming Systems

programming-journal.org

3 years ago

3 points

38.

Out-of-Things Debugging: A Live Debugging Approach for Internet of Things

programming-journal.org

4 years ago

3 points

39.

Building a Secure Software Supply Chain with GNU Guix

programming-journal.org

4 years ago

3 points

40.

Hybrid Incremental Compilers F. Cross-Module Extensibility+Internal Build System

programming-journal.org

5 years ago

3 points

41.

One Monad to Prove Them All

programming-journal.org

7 years ago

3 points

42.

PIE: A Domain-Specific Language for Interactive Software Development Pipelines

programming-journal.org

8 years ago

3 points

43.

Introspection for C and Its Applications to Library Robustness

programming-journal.org

8 years ago

3 points

44.

The Art, Science, and Engineering of Programming

programming-journal.org

4 years ago

2 points

45.

Meta-Compilation of Baseline JIT Compilers with Druid

programming-journal.org

a year ago

2 points

46.

Profunctor Optics: Modular Data Accessors (2017)

programming-journal.org

8 years ago

2 points

47.

Chorex: Restartable, Language-Integrated Choreographies (2025)

programming-journal.org

5 months ago

2 points

48.

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment

programming-journal.org

2 years ago

2 points

49.

Privacy-Respecting Type Error Telemetry at Scale

programming-journal.org

2 years ago

2 points

50.

Real-World Choreographic Programming: Interoperatable Full-Duplex Asynchrony

programming-journal.org

2 years ago

2 points

51.

Provably Fair Cooperative Scheduling

programming-journal.org

2 years ago

2 points

52.

The Design Principles of the Elixir Type System

programming-journal.org

2 years ago

2 points

53.

Coqlex: Generating Formally Verified Lexers

programming-journal.org

3 years ago

2 points

54.

Notes on “Notes on the Synthesis of Form”

programming-journal.org

3 years ago

2 points

55.

Gradual Soundness: Lessons from Static Python

programming-journal.org

3 years ago

2 points

56.

Programming Paradigms, Turing Completeness and Computational Thinking

programming-journal.org

4 years ago

2 points

57.

Advanced Join Patterns for the Actor Model Based on CEP Techniques

programming-journal.org

4 years ago

2 points

58.

Language Support for Generic Programming: When Genericity Is a Core Design Goal

programming-journal.org

4 years ago

2 points

59.

A Theory of Composing Protocols

programming-journal.org

4 years ago

2 points

60.

Advanced Join Patterns for the Actor Model Based on CEP Techniques

programming-journal.org

4 years ago

2 points