×

The infeasibility of quantifying the reliability of life-critical real-time software.pdf

Home / Discover /diyhpl.us/~bryan/papers2/programming/

  Parent Folder


The infeasibility of quantifying the reliability of life-critical real-time software.pdf
PDF 4 years ago 1.56 MB
Copy Link   
The formulas-as-types notion of construction.pdf
PDF 4 years ago 2.67 MB
Copy Link   
The mechanical evaluation of expressions.pdf
PDF 4 years ago 2.96 MB
Copy Link   
Recursive programming.pdf
PDF 4 years ago 1.11 MB
Copy Link   
The next 700 programming languages.pdf
PDF 4 years ago 1.15 MB
Copy Link   
Recursive functions of symbolic expressions and their computation by machine.pdf
PDF 4 years ago 256.28 kB
Copy Link   
Towards a theory of type structure.pdf
PDF 4 years ago 598.40 kB
Copy Link   
RABBIT: A compiler for SCHEME.pdf
PDF 4 years ago 11.21 MB
Copy Link   
Proof-carrying code.pdf
PDF 4 years ago 613.02 kB
Copy Link   
Programming and reasoning with algebraic effects and dependent types.pdf
PDF 4 years ago 166.15 kB
Copy Link   
Principal type schemes for functional programs.pdf
PDF 4 years ago 131.74 kB
Copy Link   
Predicate logic as programming language.pdf
PDF 4 years ago 1.37 MB
Copy Link   
Next_700.pdf
PDF 4 years ago 1.15 MB
Copy Link   
Go to statement considered harmful.pdf
PDF 4 years ago 99.12 kB
Copy Link   
From System-F to typed assembly language.pdf
PDF 4 years ago 472.57 kB
Copy Link   
Computational lambda-calculus and monads.pdf
PDF 4 years ago 217.19 kB
Copy Link   
A theory of type polymorphism in programming.pdf
PDF 4 years ago 1.61 MB
Copy Link   
A structural approach to operational semantics.pdf
PDF 4 years ago 943.90 kB
Copy Link   
A semantics of multiple inheritance.pdf
PDF 4 years ago 124.13 kB
Copy Link   
An axiomatic basis for computer programming.pdf
PDF 4 years ago 2.27 MB
Copy Link   

Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.