| Your search for 54049 returns 1990 document(s) |
| Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference (46-57) |
|
Author: Atsushi Ohori
Peter Buneman
Val Breazu-Tannen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Polymorphism and type inference in database programming |
|
Author: Peter Bunamen | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Languages: Behavioral Equivalence in the Polymorphic Pi-Calculas |
|
Author: B. C. Pierce, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Languages: From Algol to Polymorphic Linear Lambda-Calculus |
|
Author: P. W. O'Hearn, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deriving algorithms from type inference systems: application to strictness analysis,Hal 202-212 |
|
Author: Chris Hankin; Daniel Le Metayer; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Algebraic Approach to Static Analysis of Active Database Rules |
|
Author: E. Baralis, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| BLOOD: AN OBJECT-ORIENTED LANGUAGE EXTENSION TO A PROGRAMMING LANGUAGE FOR RELATIONAL DATABASE MANAGEMENT SYSTEMS |
|
Author: Descamps V., Henninger L., Damier C., Bensoussan G; | Call Number: SEM-213 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The C programming language |
|
Author: Kernighan, Brian W.; | Call Number: 005.133 Ker c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming and language |
|
Author: Gear, Charles William; | Call Number: 005.13 Gea p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Prolog programming: applications for database systems, expert systems, and natural language systems/Claudia Marcus |
|
Author: Marcus, Claudia; | Call Number: 005.133 Mar p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result