Fractal Symbolic Analysis

From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

From Self-Interpreters to Normalization by Evaluation

From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation

Full abstraction for nominal general references

Function call overhead benchmarks with MATLAB, Octave, Python, Cython and C

Function Interface Models for Hardware Compilation: Types, Signatures, Protocols

Functional Logic Programming with Generalized Circular Coinduction

Functional units for natural numbers

Functor is to Lens as Applicative is to Biplate: Introducing Multiplate

Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing

Garbage Collection for Multicore NUMA Machines

Generation of and Debugging with Logical Pre and Postconditions

Generative Unbinding of Names

Generic and Efficient Program Monitoring by trace analysis

Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing

Global Trie for Subterms

Grammatic -- a tool for grammar definition reuse and modularity

Grammatical Aspects for Language Descriptions