The following pages link to Programming Languages and Systems (Q5464046):
Displayed 5 items.
- On reversible Turing machines and their function universality (Q303695) (← links)
- Generic recursive lens combinators and their calculation laws (Q2123055) (← links)
- A programmable editor for developing structured documents based on bidirectional transformations (Q2271900) (← links)
- Merging Hierarchically-Structured Documents in Workflow Systems (Q2873660) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)