Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  apple  health  release  go  video  youtube.com  psychology  bloomberg.com  web  china  trump  google  javascript  techcrunch.com  eurekalert.org  psypost.org  theguardian.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

A Theory of Composing Protocols (2023)

7 months ago programming-journal.org

Reactive Programming Without Functions

8 months ago programming-journal.org plt

Privacy-Respecting Type Error Telemetry at Scale

8 months ago programming-journal.org compsci

Collective Allocator Abstraction to Control Object Spatial Locality in C++

8 months ago programming-journal.org c++

Live Objects All the Way Down: Removing the Barriers Between Apps and VMs

10 months ago programming-journal.org

The Design Principles of the Elixir Type System

10 months ago programming-journal.org elixir

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability

10 months ago programming-journal.org compsci

An Optimised Flow for Futures: From Theory to Practice

20 months ago programming-journal.org compsci

Technical Dimensions of Programming Systems

20 months ago programming-journal.org compsci

Gradual Soundness: Lessons from Static Python

22 months ago programming-journal.org python

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

22 months ago programming-journal.org

Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs

24 months ago programming-journal.org compiler

A Theory of Composing Protocols

24 months ago programming-journal.org

Building a Secure Software Supply Chain with GNU Guix

2 years ago programming-journal.org gnu

Types for Tables: A Language Design Benchmark

2 years ago programming-journal.org

Sham: A DSL for Fast DSLs

3 years ago programming-journal.org

The Art of the Meta Stream Protocol: Torrents of Streams

3 years ago programming-journal.org art meta

Programming Paradigms, Turing Completeness and Computational Thinking

3 years ago programming-journal.org turing

Advanced Join Patterns for the Actor Model Based on CEP Techniques

4 years ago programming-journal.org

Reference Capabilities for Safe Parallel Array Programming

5 years ago programming-journal.org

Separating Use and Reuse to Improve Both

5 years ago programming-journal.org

ParaSail:A Pointer-Free Pervasively-Parallel Language for Irregular Computations

5 years ago programming-journal.org

Active Expressions: Basic Building Blocks for Reactive Programming (2017)

6 years ago programming-journal.org

Lisp, Jazz, Aikido

6 years ago programming-journal.org lisp

Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates (2017)

6 years ago programming-journal.org

A Module-System Discipline for Model-Driven Software Development (2017)

6 years ago programming-journal.org

Miscomputation in software: Learning to live with errors

6 years ago programming-journal.org

Language-integrated provenance in Haskell

6 years ago programming-journal.org haskell

The Art, Science, and Engineering of Programming — an open access programming journal

6 years ago programming-journal.org art

On the Effect of Semantically Enriched Context Models on Software Modularization

7 years ago programming-journal.org

More →