| - | A hardware design language for timing-sensitive information-flow security.pdf | 394768 | | | | | pdf | 2020-03-20 13:00:01 |
| - | A real-time garbage collector based on the lifetimes of objects.pdf | 1381631 | | | | | pdf | 2020-03-20 13:00:02 |
| - | A sound type system for secure flow analysis.pdf | 222198 | | | | | pdf | 2020-03-20 13:00:02 |
| - | Abstract types have existential type.pdf | 2458841 | | | | | pdf | 2020-03-20 12:59:59 |
| - | Advanced topics in types and programming languages.pdf | 9511455 | | | | | pdf | 2020-03-20 13:00:01 |
| - | CCured - type-safe retrofitting of legacy software.pdf | 542347 | | | | | pdf | 2020-03-20 13:00:02 |
| - | CETS - compiler-enforced temporal safety for C.pdf | 407866 | | | | | pdf | 2020-03-20 13:00:02 |
| - | Certification of programs for secure information flows.pdf | 930535 | | | | | pdf | 2020-03-20 13:00:02 |
| - | Compiling a functional language.pdf | 70593 | | | | | pdf | 2020-03-20 13:00:02 |
| - | Compiling pattern matching to good decision trees.pdf | 768886 | | | | | pdf | 2020-03-20 13:00:03 |
| - | Compiling pattern matching.pdf | 679666 | | | | | pdf | 2020-03-20 13:00:03 |
| - | Compiling polymorphism using intensional type analysis.pdf | 284374 | | | | | pdf | 2020-03-20 13:00:03 |
| - | Cyclone - a safe dialect of C.pdf | 196744 | | | | | pdf | 2020-03-20 13:00:03 |
| - | Dynamic typing in a statically-typed language.pdf | 324524 | | | | | pdf | 2020-03-20 13:00:03 |
| - | Enforcement of timing-sensitive security policies in runtime systems.pdf | 1470125 | | | | | pdf | 2020-03-20 13:00:04 |
| - | From system f to typed assembly language.pdf | 196352 | | | | | pdf | 2020-03-20 13:00:04 |
| - | Generation scavenging - a non-disruptive high performance storage reclamation algorithm.pdf | 848254 | | | | | pdf | 2020-03-20 13:00:04 |
| - | Implementation of functional programming languages - Peyton-Jones.pdf | 15045169 | | | | | pdf | 2020-03-20 13:00:07 |
| - | Implementing lazy functional languages on stock hardware - spineless tagless G-machine.pdf | 535215 | | | | | pdf | 2020-03-20 13:00:07 |
| - | Information flow inference for ML.pdf | 554938 | | | | | pdf | 2020-03-20 13:00:07 |
| - | Language-based control and mitigation of timing channels.pdf | 639245 | | | | | pdf | 2020-03-20 13:00:08 |
| - | Language-based information-flow security.pdf | 218838 | | | | | pdf | 2020-03-20 13:00:08 |
| - | Predicitve black-box mitigation of timing channels.pdf | 464176 | | h263 | h263 | 0x0 | pdf | 2020-03-20 13:00:08 |
| - | Predictive mitigation of timing channels in interactive systems.pdf | 379865 | | | | | pdf | 2020-03-20 13:00:08 |
| - | Recovery of reentrant list structures in SLIP.pdf | 499022 | | | | | pdf | 2020-03-20 13:00:08 |
| - | Region-based memory management in cyclone.pdf | 252031 | | | | | pdf | 2020-03-20 13:00:08 |
| - | Region-based memory management.pdf | 736594 | | | | | pdf | 2020-03-20 13:00:09 |
| - | Run-time principals in information-flow type systems.pdf | 380233 | | | | | pdf | 2020-03-20 13:00:09 |
| - | Stack-based typed assembly language.pdf | 196585 | | | | | pdf | 2020-03-20 13:00:09 |
| - | TALx86 - a realistic typed assembly language.pdf | 152182 | | | | | pdf | 2020-03-20 13:00:09 |
| - | The logical approach to stack typing.pdf | 192737 | | | | | pdf | 2020-03-20 13:00:09 |
| - | Trash to treasure.pdf | 463428 | | | | | pdf | 2020-03-20 13:00:09 |
| - | Typed closure conversion for recursively-defined functions.pdf | 191789 | | | | | pdf | 2020-03-20 13:00:09 |
| - | Typed closure conversion.pdf | 345495 | | | | | pdf | 2020-03-20 13:00:10 |
| - | Types and programming languages.pdf | 1828301 | | | | | pdf | 2020-03-20 13:00:10 |
| - | bibliography.pdf | 94281 | | | | | pdf | 2020-03-20 13:00:02 |
| - | implementing lazy functional languages on stock hardware_spineless_tagless_g.pdf | 535215 | | | | | pdf | 2020-03-20 13:00:07 |
| - | zee - technical report.pdf | 1200972 | | | | | pdf | 2020-03-20 13:00:11 |
| - | zee.pdf | 1119224 | | | | | pdf | 2020-03-20 13:00:10 |
| - | zee_TR_notes.pdf | 887930 | | | | | pdf | 2020-03-20 13:00:11 |