Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Revised report on the algorithmic language scheme: Label: en
A static simulation of dynamic delimited control: Label: en
Axioms for control operators in the CPS hierarchy: Label: en
Implementation and use of the PLT scheme web server: Label: en
A proof-theoretic foundation of abortive continuations: Label: en
On the correctness of the Krivine machine: Label: en
A call-by-name lambda-calculus machine: Label: en
State-transition machines, revisited: Label: en
The next 700 Krivine machines: Label: en
Strongly reducing variants of the Krivine abstract machine: Label: en
Improving the lazy Krivine machine: Label: en
Explaining the lazy Krivine machine using explicit substitution and addresses: Label: en
State-transition machines for lambda-calculus expressions: Label: en
The graphical Krivine machine: Label: en
Bisimilarity for the region calculus: Label: en
Algebraic power analysis by abstract interpretation: Label: en
Totally correct logic program transformations via well-founded annotations: Label: en
Dynamic slicing of lazy functional programs based on redex trails: Label: en
Program transformations for light-weight CPU accounting and control in the Java virtual machine: Label: en
A programmable editor for developing structured documents based on bidirectional transformations: Label: en
Proving operational termination of membership equational programs: Label: en
Imperative-program transformation by instrumented-interpreter specialization: Label: en
Efficient and flexible access control via Jones-optimal logic program specialisation: Label: en
Partial evaluation of computation process -- an approach to a compiler-compiler: Label: en
Partial evaluation of computation process, revisited.: Label: en
Certifying compilation and run-time code generation: Label: en
Combining program and data specialization: Label: en
Improving type error messages for generic Java: Label: en
Logical approximation for program analysis: Label: en
Side-effect localization for lazy, purely functional languages via aspects: Label: en
Shortcut fusion rules for the derivation of circular and higher-order programs: Label: en
Static consistency checking for Verilog wire interconnects: Label: en
Functional un\(|\)unparsing: Label: en
Erratum to: ``Continuation-passing C, compiling threads to events through continuations: Label: en
Pruning with improving sequences in lazy functional programs: Label: en
Type-specialized staged programming with process separation: Label: en
A functional approach to generic programming using adaptive traversals: Label: en
More dependent types for distributed arrays: Label: en
Trends in trends in functional programming 1999/2000 versus 2007/2008: Label: en
A multi-tier semantics for Hop: Label: en
Continuation-passing C, compiling threads to events through continuations: Label: en
Path resolution for nested recursive modules: Label: en
A proof of Moessner's theorem by coinduction: Label: en
Axioms for recursion in call-by-value: Label: en
Secure information flow via linear continuations: Label: en
Linear continuation-passing: Label: en
Optimizing nested loops using local CPS conversion: Label: en
Comparing control constructs by double-barrelled CPS: Label: en
Functional geometry: Label: en
Specification diagrams for actor systems: Label: en