The following pages link to (Q3685162):
Displaying 12 items.
- Generic constructions for behavioral specifications (Q764311) (← links)
- A tactic calculus. --- Abridged version (Q1815345) (← links)
- Chemical foundations of distributed aspects (Q2002053) (← links)
- Transforming Functional Logic Programs into Monadic Functional Programs (Q3003513) (← links)
- Counting Successes: Effects and Transformations for Non-deterministic Programs (Q3188280) (← links)
- A System F with Call-by-Name Exceptions (Q3519511) (← links)
- (Q5013826) (← links)
- (Q5020618) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- Fault-tolerant functional reactive programming (extended version) (Q5120226) (← links)
- Combinator Parsing: A Short Tutorial (Q5191092) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)
