News

This repository contains examples of the three types of design patterns: creational, behavioral, and structural. Each pattern is implemented in a different programming language to showcase the ...
Egison is a functional programming language featuring its expressive pattern-matching facility. Egison allows users to define efficient and expressive pattern-matching methods for arbitrary ...
The graph below shows the total number of publications each year in Session Types and Concurrency in Programming Languages. References [1] Polymorphic lambda calculus with context-free session types .
The creators of the Python language are mulling a new proposal, PEP 622, that would finally bring a pattern matching statement syntax to Python.The new pattern matching statements would give ...
Many programming languages feature regular expressions—or “regex” for short—which are used to find patterns in strings of text. A regex library is a mini-language for describing patterns ...
Today, most programming languages use different types of structural paradigms (such as functions and object-oriented programming), but the easy-to-grasp syntax of BASIC, ...
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatypes (PADTs) of ML and ...