The following pages link to Hsiang-Shang Ko (Q1725930):
Displaying 5 items.
- Principles and practice of bidirectional programming in BiGUL (Q1725931) (← links)
- Algebra of Programming Using Dependent Types (Q3521992) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- Programming with ornaments (Q5372000) (← links)
- (Q6124945) (← links)
