Pages that link to "ACM Transactions on Programming Languages and Systems"
From HandWiki
The following pages link to ACM Transactions on Programming Languages and Systems:
Displayed 30 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Serialization (← links)
- Bidirectional transformation (← links)
- Lowest common ancestor (← links)
- MultiLisp (← links)
- Prolog (← links)
- Computation tree logic (← links)
- Anti-unification (computer science) (← links)
- CLP(R) (← links)
- Automated theorem proving (← links)
- Liskov substitution principle (← links)
- IEEE 754-1985 (← links)
- Constraint Handling Rules (← links)
- Upwards exposed uses (← links)
- List of computer science journals (← links)
- Polymorphic recursion (← links)
- International Conference on Functional Programming (← links)
- Greedy coloring (← links)
- IEEE 754 (← links)
- Syntactic methods (← links)
- X87 (← links)
- Programming language theory (← links)
- Reference counting (← links)
- Anti-unification (← links)
- Philosophy:Resolution (logic) (← links)
- Biography:List of programming language researchers (← links)
- Biography:Dexter Kozen (← links)
- Biography:Tobias Nipkow (← links)
- Biography:Mathai Joseph (← links)
- Organization:Association for Computing Machinery (← links)
- Software:Berkeley Yacc (← links)
