User loginNavigation |
archivesA Garbage-Collecting Typed Assembly LanguageA Garbage-Collecting Typed Assembly Language. Chris Hawblitzel; Heng Huang; Lea Wittie; Juan Chen.
The TAL-GC proofs can be found here. By Ehud Lamm at 2006-12-03 11:10 | Implementation | Type Theory | 1 comment | other blogs | 7499 reads
Erlang vs C++ for Robust Telecom Software
Are High-level Languages suitable for Robust Telecoms Software? (pdf) also High-Level Techniques for Distributed Telecommunications Software |
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 4 days ago
51 weeks 4 days ago