0

Luiz-Monad · Aug 17, 2018 · ca27361 · ca27361
commit ca27361
Show file tree

Hide file tree

Showing 313 changed files with 0 additions and 0 deletions.
diff --git a/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf b/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf
diff --git a/3D Projection Visualization.pdf b/3D Projection Visualization.pdf
diff --git a/3GPP SAELTE Security NIKSUN WWSMC.pdf b/3GPP SAELTE Security NIKSUN WWSMC.pdf
diff --git a/A Comparative Study of Programming Languages in Rosetta Code.pdf b/A Comparative Study of Programming Languages in Rosetta Code.pdf
diff --git a/A Distributed System Based on Web Services for Computational Science Simulations.pdf b/A Distributed System Based on Web Services for Computational Science Simulations.pdf
diff --git a/A Flexible replication framework for scalable and reliable .net service.pdf b/A Flexible replication framework for scalable and reliable .net service.pdf
diff --git a/A Foreign Function Interface Generator.pdf b/A Foreign Function Interface Generator.pdf
diff --git a/...ti-Party OptimizationBased Privacy Preservation for Data Mining Primitive Computation.pdf b/...ti-Party OptimizationBased Privacy Preservation for Data Mining Primitive Computation.pdf
diff --git a/A Mathematician’s Lament.pdf b/A Mathematician’s Lament.pdf
diff --git a/A Nanopass Framework for Commercial Compiler Development.pdf b/A Nanopass Framework for Commercial Compiler Development.pdf
diff --git a/A Neural Conversational Model.pdf b/A Neural Conversational Model.pdf
diff --git a/A New Concurrency Model for Scala Based on a Declarative Dataflow Core.pdf b/A New Concurrency Model for Scala Based on a Declarative Dataflow Core.pdf
diff --git a/A Practical Attack on the MIFARE Classic.pdf b/A Practical Attack on the MIFARE Classic.pdf
diff --git a/A Principled Approach to Operating System Construction in Haskell .pdf b/A Principled Approach to Operating System Construction in Haskell .pdf
diff --git a/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf b/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf
diff --git a/A look Inside the Final Fantasy VII Game Engine (gears).pdf b/A look Inside the Final Fantasy VII Game Engine (gears).pdf
diff --git a/ARM system-on-chip architecture.pdf b/ARM system-on-chip architecture.pdf
diff --git a/Achieving Usability Through Software Architecture.pdf b/Achieving Usability Through Software Architecture.pdf
diff --git a/Algorithms for the masses.pdf b/Algorithms for the masses.pdf
diff --git a/An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.pdf b/An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.pdf
diff --git a/An O(ND) Difference Algorithm and Its Variations.pdf b/An O(ND) Difference Algorithm and Its Variations.pdf
diff --git a/An Optimization Algorithm of RSA key generation in embedded system.pdf b/An Optimization Algorithm of RSA key generation in embedded system.pdf
diff --git a/Analysis of a Denial of Service Attack on TCP.pdf b/Analysis of a Denial of Service Attack on TCP.pdf
diff --git a/Anotacoes sobre mecanica e dinamica.pdf b/Anotacoes sobre mecanica e dinamica.pdf
diff --git a/Apollo Guidance Computer - BLOCK I.pdf b/Apollo Guidance Computer - BLOCK I.pdf
diff --git a/Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf b/Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf
diff --git a/Binary Obfuscation Using Signals.pdf b/Binary Obfuscation Using Signals.pdf
diff --git a/Binary code obfuscation through C++ template metaprogramming.pdf b/Binary code obfuscation through C++ template metaprogramming.pdf
diff --git a/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf b/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf
diff --git a/Bluebook Smalltalk80.pdf b/Bluebook Smalltalk80.pdf
diff --git a/Building a Dependable Operating System Fault Tolerance in Minix 3.pdf b/Building a Dependable Operating System Fault Tolerance in Minix 3.pdf
diff --git a/C type prunning.pdf b/C type prunning.pdf
diff --git a/Cache-Oblivious Algorithms.pdf b/Cache-Oblivious Algorithms.pdf
diff --git a/...e Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf b/...e Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf
diff --git a/Clean Code.pdf b/Clean Code.pdf
diff --git a/Common Lisp A Gentle Introduction to Symbolic Computation.pdf b/Common Lisp A Gentle Introduction to Symbolic Computation.pdf
diff --git a/Common RAID Disk Data Format Spec.pdf b/Common RAID Disk Data Format Spec.pdf
diff --git a/Computer Implementation of the Finite Element Method.pdf b/Computer Implementation of the Finite Element Method.pdf
diff --git a/Computer Security NIST p1.pdf b/Computer Security NIST p1.pdf
diff --git a/Computing Trusted Authority Scores in Peer-to-Peer Web Search Networks.pdf b/Computing Trusted Authority Scores in Peer-to-Peer Web Search Networks.pdf
diff --git a/Concepts first in introdutory CS courses rr2003-08.pdf b/Concepts first in introdutory CS courses rr2003-08.pdf
diff --git a/Concurrency Patterns.pdf b/Concurrency Patterns.pdf
diff --git a/Console Hacking Chaos 2010.pdf b/Console Hacking Chaos 2010.pdf
diff --git a/Count by value.pdf b/Count by value.pdf
diff --git a/Creating Device Drivers.pdf b/Creating Device Drivers.pdf
diff --git a/Cryptology/Chosen-prefix collisions for MD5 and applications.pdf b/Cryptology/Chosen-prefix collisions for MD5 and applications.pdf
diff --git a/Cryptology/Comments on dual EC DRBG.pdf b/Cryptology/Comments on dual EC DRBG.pdf
diff --git a/Cryptology/Cryptanalysis of the Dual Elliptic Curve Pseudorandom Generator.pdf b/Cryptology/Cryptanalysis of the Dual Elliptic Curve Pseudorandom Generator.pdf
diff --git a/Cryptology/Cryptanalysis of the Windows Random Number Generator.pdf b/Cryptology/Cryptanalysis of the Windows Random Number Generator.pdf
diff --git a/Cryptology/Differential Cryptanalysis of Salsa_20_8.pdf b/Cryptology/Differential Cryptanalysis of Salsa_20_8.pdf
diff --git a/Cryptology/Handbook of Applied Cryptology.pdf b/Cryptology/Handbook of Applied Cryptology.pdf
diff --git a/Cryptology/High-speed high-security signatures.pdf b/Cryptology/High-speed high-security signatures.pdf
diff --git a/...gy/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf b/...gy/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf
diff --git a/Cryptology/MD5 To Be Considered Harmful Someday.pdf b/Cryptology/MD5 To Be Considered Harmful Someday.pdf
diff --git a/Cryptology/MD5 is Weaker than Weak Attacks on Concatenated Combiners.pdf b/Cryptology/MD5 is Weaker than Weak Attacks on Concatenated Combiners.pdf
diff --git a/Cryptology/On Collisions for MD5 - M.M.J. Stevens.pdf b/Cryptology/On Collisions for MD5 - M.M.J. Stevens.pdf
diff --git a/Cryptology/Security Engineering - The Book.pdf b/Cryptology/Security Engineering - The Book.pdf
diff --git a/Cryptology/Tunnels in Hash Functions MD5 Collisions Within a Minute.pdf b/Cryptology/Tunnels in Hash Functions MD5 Collisions Within a Minute.pdf
diff --git a/...lls and Platters An Empirical Analysis of Hardware Failures on a Million Consumer PCs.pdf b/...lls and Platters An Empirical Analysis of Hardware Failures on a Million Consumer PCs.pdf
diff --git a/DHTbasedNATTraversal.pdf b/DHTbasedNATTraversal.pdf
diff --git a/Data Management Past, Present, and Future.pdf b/Data Management Past, Present, and Future.pdf
diff --git a/Data-centric Programming for Distributed Systems.pdf b/Data-centric Programming for Distributed Systems.pdf
diff --git a/Dataflow Machine Architecture.pdf b/Dataflow Machine Architecture.pdf
diff --git a/Decoding billions of integers per second through vectorization.pdf b/Decoding billions of integers per second through vectorization.pdf
diff --git a/Deconstructing the Database QConSF2012.pdf b/Deconstructing the Database QConSF2012.pdf
diff --git a/Deep Feature Synthesis Towards Automating Data Science Endeavors.pdf b/Deep Feature Synthesis Towards Automating Data Science Endeavors.pdf
diff --git a/Design Rule Checking.pdf b/Design Rule Checking.pdf
diff --git a/Designing Interactions 1.pdf b/Designing Interactions 1.pdf
diff --git a/Differential Cryptanalysis of Salsa_20_8.pdf b/Differential Cryptanalysis of Salsa_20_8.pdf
diff --git a/Digital Audio Signal Processing.pdf b/Digital Audio Signal Processing.pdf
diff --git a/Diseases in Code.pdf b/Diseases in Code.pdf
diff --git a/Disk and Tape Storage Cost Models.pdf b/Disk and Tape Storage Cost Models.pdf
diff --git a/...n and Synchronization of Web Services for High Availability in Mobile Ad-hoc Networks.pdf b/...n and Synchronization of Web Services for High Availability in Mobile Ad-hoc Networks.pdf
diff --git a/Effective C++ The Miseducation of C++.pdf b/Effective C++ The Miseducation of C++.pdf
diff --git a/Efficient Algorithms for Sorting and Synchronization.pdf b/Efficient Algorithms for Sorting and Synchronization.pdf
diff --git a/Efficient Elliptic Curve Cryptoalgorithm for Embedded Systems.pdf b/Efficient Elliptic Curve Cryptoalgorithm for Embedded Systems.pdf
diff --git a/Efficient fingerprint search based on database clustering.pdf b/Efficient fingerprint search based on database clustering.pdf
diff --git a/Electromagnetic Radiation from Video Display Units An Eavesdropping Risk.pdf b/Electromagnetic Radiation from Video Display Units An Eavesdropping Risk.pdf
diff --git a/Encoding.pdf b/Encoding.pdf
diff --git a/Everything you always wanted to know about synchronization but were afraid to ask.pdf b/Everything you always wanted to know about synchronization but were afraid to ask.pdf
diff --git a/Experimenting with Programming Languages.pdf b/Experimenting with Programming Languages.pdf
diff --git a/Exponentials Reiterated.pdf b/Exponentials Reiterated.pdf
diff --git a/FPGA impleme ntation of wavelet-based denoising technique to analysis of EEG signal.pdf b/FPGA impleme ntation of wavelet-based denoising technique to analysis of EEG signal.pdf
diff --git a/FSU Reversing.pdf b/FSU Reversing.pdf
diff --git a/Finding and Understanding Bugs in C Compilers.pdf b/Finding and Understanding Bugs in C Compilers.pdf
diff --git a/Fingerprint matching by genetic algorithms.pdf b/Fingerprint matching by genetic algorithms.pdf
diff --git a/Generalized travelling salesman problem.pdf b/Generalized travelling salesman problem.pdf
diff --git a/Gerador de Parsers LR.pdf b/Gerador de Parsers LR.pdf
diff --git a/HITB magazine Issue 003.pdf b/HITB magazine Issue 003.pdf
diff --git a/HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing.pdf b/HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing.pdf
diff --git a/Hardware Memory.pdf b/Hardware Memory.pdf
diff --git a/HaskellVsAda-NSWC.pdf b/HaskellVsAda-NSWC.pdf
diff --git a/High-speed high-security cryptography on ARMs.pdf b/High-speed high-security cryptography on ARMs.pdf
diff --git a/High-speed high-security signatures.pdf b/High-speed high-security signatures.pdf
diff --git a/How new antenna-matching technology helps HF RFID d.pdf b/How new antenna-matching technology helps HF RFID d.pdf
diff --git a/How to Build a Low-Cost, Extended-Range RFID Skimmer.pdf b/How to Build a Low-Cost, Extended-Range RFID Skimmer.pdf
diff --git a/HyperDex A Distributed, Searchable Key-Value Store.pdf b/HyperDex A Distributed, Searchable Key-Value Store.pdf
diff --git a/Improved Techniques for Ray Tracing Parametric Surfaces.pdf b/Improved Techniques for Ray Tracing Parametric Surfaces.pdf
diff --git a/In Search of an Understandable Consensus Algorithm.pdf b/In Search of an Understandable Consensus Algorithm.pdf
diff --git a/Index Compression irdm-5-2.pdf b/Index Compression irdm-5-2.pdf
diff --git a/Index Compression.pdf b/Index Compression.pdf
diff --git a/Intel 64 and IA-32 Architectures Software Developer’s Manual.pdf b/Intel 64 and IA-32 Architectures Software Developer’s Manual.pdf
diff --git a/Intelligence Explosion Evidence and Import.pdf b/Intelligence Explosion Evidence and Import.pdf
diff --git a/InterState A Language and Environmentfor ExpressingInterfaceBehavior.pdf b/InterState A Language and Environmentfor ExpressingInterfaceBehavior.pdf
diff --git a/Introdução a Simulação Discreta.pdf b/Introdução a Simulação Discreta.pdf
diff --git a/Introdução para o iniciante à Linguagem Assembly dos Microprocessadores ATMELAVR.pdf b/Introdução para o iniciante à Linguagem Assembly dos Microprocessadores ATMELAVR.pdf
diff --git a/JPL Coding Standard C.pdf b/JPL Coding Standard C.pdf
diff --git a/Judy Hashing.pdf b/Judy Hashing.pdf
diff --git a/JudySL Associative Array.pdf b/JudySL Associative Array.pdf
diff --git a/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf b/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf
diff --git a/LISP I Programmers Manual - IBM 704 - 1960.pdf b/LISP I Programmers Manual - IBM 704 - 1960.pdf
diff --git a/Language Translation Using PCCTS and C++.pdf b/Language Translation Using PCCTS and C++.pdf
diff --git a/Latincrypt 2014 Cyptology conference.pdf b/Latincrypt 2014 Cyptology conference.pdf
diff --git a/Learning Pentesting for Android Devices [eBook].pdf b/Learning Pentesting for Android Devices [eBook].pdf
diff --git a/MBrace Cloud Computing with Monads.pdf b/MBrace Cloud Computing with Monads.pdf
diff --git a/Making reliable distributed systems in the presence of software errors.pdf b/Making reliable distributed systems in the presence of software errors.pdf
diff --git a/Malfunctional Programming.pdf b/Malfunctional Programming.pdf
diff --git a/MapReduce Simplified Data Processing on Large Clusters.pdf b/MapReduce Simplified Data Processing on Large Clusters.pdf
diff --git a/Maude 2.0 Primer.pdf b/Maude 2.0 Primer.pdf
diff --git a/Metasploit - The Penetration Tester_s Guide.pdf b/Metasploit - The Penetration Tester_s Guide.pdf
diff --git a/... Design Principles for Meta-level Facilities of Object-Oriented Programming Languages.pdf b/... Design Principles for Meta-level Facilities of Object-Oriented Programming Languages.pdf
diff --git a/Morpho VM An Indirect Threaded Stackless Virtual Machine.pdf b/Morpho VM An Indirect Threaded Stackless Virtual Machine.pdf
diff --git a/NaCl on 8-bit AVR Microcontrollers.pdf b/NaCl on 8-bit AVR Microcontrollers.pdf
diff --git a/Neural Turing Machines.pdf b/Neural Turing Machines.pdf
diff --git a/...nce Meets Cryptography Designing Crypto Primitives Secure Against Rubber Hose Attacks.pdf b/...nce Meets Cryptography Designing Crypto Primitives Secure Against Rubber Hose Attacks.pdf
diff --git a/Nobody ever got fired for using Hadoop on a cluster.pdf b/Nobody ever got fired for using Hadoop on a cluster.pdf
diff --git a/Nonce-Based Symmetric Encryption.pdf b/Nonce-Based Symmetric Encryption.pdf
diff --git a/Object Oriented Programming with ansi C.pdf b/Object Oriented Programming with ansi C.pdf
diff --git a/Object-Oriented Programming vs Abstract Data Types.pdf b/Object-Oriented Programming vs Abstract Data Types.pdf
diff --git a/On the (Im)possibility of Obfuscating Programs.pdf b/On the (Im)possibility of Obfuscating Programs.pdf
diff --git a/Open Libernet.pdf b/Open Libernet.pdf
diff --git a/Ownership is Theft Experiences Building an Embedded OS in Rust.pdf b/Ownership is Theft Experiences Building an Embedded OS in Rust.pdf
diff --git a/Parallel Generational-Copying Garbage Collection with a Block Structured Heap.pdf b/Parallel Generational-Copying Garbage Collection with a Block Structured Heap.pdf
diff --git a/...nto Your App without Actually Seeing It UI State In ference and Novel Android Attacks.pdf b/...nto Your App without Actually Seeing It UI State In ference and Novel Android Attacks.pdf
diff --git a/Performance of Compressed Inverted List Caching.pdf b/Performance of Compressed Inverted List Caching.pdf
diff --git a/Playground for LINQ Expression Trees.pdf b/Playground for LINQ Expression Trees.pdf
diff --git a/Practical File System Design.pdf b/Practical File System Design.pdf
diff --git a/Predicao de Falhas em Software SBSC2011.pdf b/Predicao de Falhas em Software SBSC2011.pdf
diff --git a/Programming in Standard ML.pdf b/Programming in Standard ML.pdf
diff --git a/Programming industrial automation systems (IEC 61131-3).pdf b/Programming industrial automation systems (IEC 61131-3).pdf
diff --git a/Punctuated Equilibrium in the Large Scale Evolution of Programming Languages.pdf b/Punctuated Equilibrium in the Large Scale Evolution of Programming Languages.pdf
diff --git a/Quantum Algorithms chap10.pdf b/Quantum Algorithms chap10.pdf
diff --git a/RESTful Web Services.pdf b/RESTful Web Services.pdf
diff --git a/RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis.pdf b/RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis.pdf
diff --git a/Radecka - FPGA Emulation of Quantum Circuits.pdf b/Radecka - FPGA Emulation of Quantum Circuits.pdf
diff --git a/Reading List Resource Virtualization.pdf b/Reading List Resource Virtualization.pdf
diff --git a/RealTime Fluid Dynamics for Games.pdf b/RealTime Fluid Dynamics for Games.pdf
diff --git a/Refactoring Improving the Design of Existing Code - M.Fowler.pdf b/Refactoring Improving the Design of Existing Code - M.Fowler.pdf
diff --git a/Replacing UsernamePassword with Software-Only Two-Factor Authentication.pdf b/Replacing UsernamePassword with Software-Only Two-Factor Authentication.pdf
diff --git a/Reverse Engineering ARM Based Devices.pdf b/Reverse Engineering ARM Based Devices.pdf
diff --git a/Reverse Engineering services.pdf b/Reverse Engineering services.pdf
diff --git a/Reversing Secrets of Reverse Engineering.pdf b/Reversing Secrets of Reverse Engineering.pdf
diff --git a/Reversing and exploiting an Apple firmware update.pdf b/Reversing and exploiting an Apple firmware update.pdf
diff --git a/Runtime Aspect Weaving Through Metaprogramming - aosd02.pdf b/Runtime Aspect Weaving Through Metaprogramming - aosd02.pdf
diff --git a/Rust Session Types.pdf b/Rust Session Types.pdf
diff --git a/SPORES Towards Function-Passing Style in the Age of Concurrency & Distribution.pdf b/SPORES Towards Function-Passing Style in the Age of Concurrency & Distribution.pdf
diff --git a/Sampling Theory for Digital Audio.pdf b/Sampling Theory for Digital Audio.pdf
diff --git a/Scala By Example.pdf b/Scala By Example.pdf
diff --git a/Search Algorithms for Unstructured Peer-to-Peer Networks.pdf b/Search Algorithms for Unstructured Peer-to-Peer Networks.pdf
diff --git a/Secure Peer-to-Peer Acoustic NFC.pdf b/Secure Peer-to-Peer Acoustic NFC.pdf
diff --git a/Security Analysis of Pseudo-Random Number Generator.pdf b/Security Analysis of Pseudo-Random Number Generator.pdf
diff --git a/Self Adjusting Computation.pdf b/Self Adjusting Computation.pdf
diff --git a/Semantic Web HCI.pdf b/Semantic Web HCI.pdf
diff --git a/Side Effect Free Functions in OO Languages.pdf b/Side Effect Free Functions in OO Languages.pdf
diff --git a/Simulating Content Addressable Memory.pdf b/Simulating Content Addressable Memory.pdf
diff --git a/Sorting Binary Numbers in Hardware A Novel Algorithm and its Implementation.pdf b/Sorting Binary Numbers in Hardware A Novel Algorithm and its Implementation.pdf
diff --git a/System V Application Binary Interface AMD64 Architecture Processor Supplement.pdf b/System V Application Binary Interface AMD64 Architecture Processor Supplement.pdf
diff --git a/Taleb Antifragile.pdf b/Taleb Antifragile.pdf
diff --git a/Teaching Programming with the Kernel Language Approach.pdf b/Teaching Programming with the Kernel Language Approach.pdf
diff --git a/Text based Captcha strengths and weaknesses.pdf b/Text based Captcha strengths and weaknesses.pdf
diff --git a/The Book of F#.pdf b/The Book of F#.pdf
diff --git a/The Definitive Guide to the ARM Cortex-M.pdf b/The Definitive Guide to the ARM Cortex-M.pdf
diff --git a/The Elliptic Curve Digital Signature Algorithm.pdf b/The Elliptic Curve Digital Signature Algorithm.pdf
diff --git a/The Essence of Compiling with Continuations.pdf b/The Essence of Compiling with Continuations.pdf
diff --git a/The Evolution of Lua.pdf b/The Evolution of Lua.pdf
diff --git a/The Inmates Are Running the Asylum.pdf b/The Inmates Are Running the Asylum.pdf
diff --git a/The Intel Labs Haskell Research Compiler.pdf b/The Intel Labs Haskell Research Compiler.pdf
diff --git a/The Mathematics behind the fast inverse square root function code.pdf b/The Mathematics behind the fast inverse square root function code.pdf
diff --git a/The Next 700 Programming Languages.pdf b/The Next 700 Programming Languages.pdf
diff --git a/The Poly1305 AES message authentication code.pdf b/The Poly1305 AES message authentication code.pdf
diff --git a/...ntelligent Will motivation and instrumental rationality in advanced artificial agents.pdf b/...ntelligent Will motivation and instrumental rationality in advanced artificial agents.pdf
diff --git a/Towards Optimization-Safe Systems Analyzing the Impact of Undefined Behavior.pdf b/Towards Optimization-Safe Systems Analyzing the Impact of Undefined Behavior.pdf
diff --git a/Traits Composable Units of Behaviour.pdf b/Traits Composable Units of Behaviour.pdf
diff --git a/Type Theory - FP - PLT/A Comparative Study of Programming Languages in Rosetta Code.pdf b/Type Theory - FP - PLT/A Comparative Study of Programming Languages in Rosetta Code.pdf
diff --git a/... Theory - FP - PLT/A Simple Typed Intermediate Language for Object-Oriented Languages.pdf b/... Theory - FP - PLT/A Simple Typed Intermediate Language for Object-Oriented Languages.pdf
diff --git a/Type Theory - FP - PLT/A Type directed optimizing compiler for ML.pdf b/Type Theory - FP - PLT/A Type directed optimizing compiler for ML.pdf
diff --git a/Type Theory - FP - PLT/A Type system equivalent to a Model Checker.pdf b/Type Theory - FP - PLT/A Type system equivalent to a Model Checker.pdf
diff --git a/Type Theory - FP - PLT/A cosmology of datatypes.pdf b/Type Theory - FP - PLT/A cosmology of datatypes.pdf
diff --git a/Type Theory - FP - PLT/A tutorial implementation of typed lambda calculus.pdf b/Type Theory - FP - PLT/A tutorial implementation of typed lambda calculus.pdf
diff --git a/Type Theory - FP - PLT/A tutorial on type-based termination.pdf b/Type Theory - FP - PLT/A tutorial on type-based termination.pdf
diff --git a/Type Theory - FP - PLT/Algebraic Methods for Interactive Proof Systems.pdf b/Type Theory - FP - PLT/Algebraic Methods for Interactive Proof Systems.pdf
diff --git a/Type Theory - FP - PLT/Bird_Wadler. Introduction to Functional Programming.1ed.pdf b/Type Theory - FP - PLT/Bird_Wadler. Introduction to Functional Programming.1ed.pdf
diff --git a/Type Theory - FP - PLT/Blame, coercion, and threesomes.pdf b/Type Theory - FP - PLT/Blame, coercion, and threesomes.pdf
diff --git a/Type Theory - FP - PLT/CallArity-TFP.pdf b/Type Theory - FP - PLT/CallArity-TFP.pdf
diff --git a/...e Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf b/...e Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf
diff --git a/Type Theory - FP - PLT/Cardelli_Types.pdf b/Type Theory - FP - PLT/Cardelli_Types.pdf
diff --git a/Type Theory - FP - PLT/Category Theory Gentle Intro.pdf b/Type Theory - FP - PLT/Category Theory Gentle Intro.pdf
diff --git a/Type Theory - FP - PLT/Category Theory for Computing Science.pdf b/Type Theory - FP - PLT/Category Theory for Computing Science.pdf
diff --git a/...ning Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension.pdf b/...ning Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension.pdf
diff --git a/Type Theory - FP - PLT/Engineering a Compiler.pdf b/Type Theory - FP - PLT/Engineering a Compiler.pdf
diff --git a/Type Theory - FP - PLT/Evolutionary Programming and Gradual Typing in ECMAScript 4.pdf b/Type Theory - FP - PLT/Evolutionary Programming and Gradual Typing in ECMAScript 4.pdf
diff --git a/Type Theory - FP - PLT/From Realizability to Induction via Dependent Intersection.pdf b/Type Theory - FP - PLT/From Realizability to Induction via Dependent Intersection.pdf
diff --git a/...ory - FP - PLT/Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.pdf b/...ory - FP - PLT/Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.pdf
diff --git a/Type Theory - FP - PLT/Gradual Typing Embedded Securely in JavaScript.pdf b/Type Theory - FP - PLT/Gradual Typing Embedded Securely in JavaScript.pdf
diff --git a/Type Theory - FP - PLT/Homotopy is not concrete.pdf b/Type Theory - FP - PLT/Homotopy is not concrete.pdf
diff --git a/Type Theory - FP - PLT/Monadic Parsing in Haskell.pdf b/Type Theory - FP - PLT/Monadic Parsing in Haskell.pdf
diff --git a/Type Theory - FP - PLT/Practical Foundations for Programming Languages.pdf b/Type Theory - FP - PLT/Practical Foundations for Programming Languages.pdf
diff --git a/Type Theory - FP - PLT/Practical Type Inference on Success Typings.pdf b/Type Theory - FP - PLT/Practical Type Inference on Success Typings.pdf
diff --git a/Type Theory - FP - PLT/Programming Macro Tree Transducers.pdf b/Type Theory - FP - PLT/Programming Macro Tree Transducers.pdf
diff --git a/Type Theory - FP - PLT/Programming in Martin Lof Type Theory.pdf b/Type Theory - FP - PLT/Programming in Martin Lof Type Theory.pdf
diff --git a/Type Theory - FP - PLT/Programming with polymorphic variants.pdf b/Type Theory - FP - PLT/Programming with polymorphic variants.pdf
diff --git a/Type Theory - FP - PLT/Proofs and Types.pdf b/Type Theory - FP - PLT/Proofs and Types.pdf
diff --git a/Type Theory - FP - PLT/Session Types.pdf b/Type Theory - FP - PLT/Session Types.pdf
diff --git a/Type Theory - FP - PLT/Strong Types for Relational Data Stored.pdf b/Type Theory - FP - PLT/Strong Types for Relational Data Stored.pdf
diff --git a/Type Theory - FP - PLT/The Two Dualities of Computation Negative and Fractional Types.pdf b/Type Theory - FP - PLT/The Two Dualities of Computation Negative and Fractional Types.pdf
diff --git a/...ory - FP - PLT/The programming language JigSaw mixins modularity multiple inheritance.pdf b/...ory - FP - PLT/The programming language JigSaw mixins modularity multiple inheritance.pdf
diff --git a/Type Theory - FP - PLT/Theory of Programs.pdf b/Type Theory - FP - PLT/Theory of Programs.pdf
diff --git a/Type Theory - FP - PLT/Type Inference For Recursive Definitions.pdf b/Type Theory - FP - PLT/Type Inference For Recursive Definitions.pdf
diff --git a/Type Theory - FP - PLT/Type Theory and Functional Programming.pdf b/Type Theory - FP - PLT/Type Theory and Functional Programming.pdf
diff --git a/Type Theory - FP - PLT/Type Theory should eat itself.pdf b/Type Theory - FP - PLT/Type Theory should eat itself.pdf
diff --git a/...based termination of recursive definitions in the calculus of inductive constructions.pdf b/...based termination of recursive definitions in the calculus of inductive constructions.pdf
diff --git a/Type Theory - FP - PLT/Why Functional Programming Matters.pdf b/Type Theory - FP - PLT/Why Functional Programming Matters.pdf
diff --git a/Type Theory - FP - PLT/X10 Language Specification.pdf b/Type Theory - FP - PLT/X10 Language Specification.pdf
diff --git a/Understanding Source Code with Functional Magnetic Resonance Imaging.pdf b/Understanding Source Code with Functional Magnetic Resonance Imaging.pdf
diff --git a/Understanding and writing compilers.pdf b/Understanding and writing compilers.pdf
diff --git a/Universality in Elementary Cellular Automata.pdf b/Universality in Elementary Cellular Automata.pdf
diff --git a/Unix Hater Handbook.pdf b/Unix Hater Handbook.pdf
diff --git a/Using Routers to Build Logic Circuits How Powerful is BGP.pdf b/Using Routers to Build Logic Circuits How Powerful is BGP.pdf
diff --git a/Variance and Generalized Constrains for CSharp Generics.pdf b/Variance and Generalized Constrains for CSharp Generics.pdf
diff --git a/When Good Instructions Go Bad Generalizing Return-Oriented Programming to RISC.pdf b/When Good Instructions Go Bad Generalizing Return-Oriented Programming to RISC.pdf
diff --git a/Why does cryptographic software fail A case study and open problems.pdf b/Why does cryptographic software fail A case study and open problems.pdf
diff --git a/Work load analyzer.pdf b/Work load analyzer.pdf
diff --git a/computer arch/Algorithms for the masses.pdf b/computer arch/Algorithms for the masses.pdf
diff --git a/computer arch/Cache-Oblivious Algorithms.pdf b/computer arch/Cache-Oblivious Algorithms.pdf
diff --git a/computer arch/Hypercomputation - computing more than the Turing Machine.pdf b/computer arch/Hypercomputation - computing more than the Turing Machine.pdf
diff --git a/...uter arch/Large Pose 3D Face Reconstruction from a Single Image via Direct Volumetric.pdf b/...uter arch/Large Pose 3D Face Reconstruction from a Single Image via Direct Volumetric.pdf
diff --git a/computer graphics/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf b/computer graphics/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf
diff --git a/computer graphics/3D Projection Visualization.pdf b/computer graphics/3D Projection Visualization.pdf
diff --git a/ebnf.pdf b/ebnf.pdf
diff --git a/infosec/3GPP SAELTE Security NIKSUN WWSMC.pdf b/infosec/3GPP SAELTE Security NIKSUN WWSMC.pdf
diff --git a/infosec/A Practical Attack on the MIFARE Classic.pdf b/infosec/A Practical Attack on the MIFARE Classic.pdf
diff --git a/infosec/A survey of stealth malware attacks.pdf b/infosec/A survey of stealth malware attacks.pdf
diff --git a/infosec/AVATAR-2-25-17.pdf b/infosec/AVATAR-2-25-17.pdf
diff --git a/infosec/Analysis of a Denial of Service Attack on TCP.pdf b/infosec/Analysis of a Denial of Service Attack on TCP.pdf
diff --git a/infosec/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf b/infosec/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf
diff --git a/infosec/Computer Security NIST p1.pdf b/infosec/Computer Security NIST p1.pdf
diff --git a/infosec/Console Hacking Chaos 2010.pdf b/infosec/Console Hacking Chaos 2010.pdf
diff --git a/infosec/High-speed high-security cryptography on ARMs.pdf b/infosec/High-speed high-security cryptography on ARMs.pdf
diff --git a/infosec/Intro to Shellcoding.pdf b/infosec/Intro to Shellcoding.pdf
diff --git a/infosec/Metasploit - The Penetration Tester_s Guide.pdf b/infosec/Metasploit - The Penetration Tester_s Guide.pdf
diff --git a/misc/A Mathematician’s Lament.pdf b/misc/A Mathematician’s Lament.pdf
diff --git a/misc/Anotacoes sobre mecanica e dinamica.pdf b/misc/Anotacoes sobre mecanica e dinamica.pdf
diff --git a/misc/Taleb Antifragile.pdf b/misc/Taleb Antifragile.pdf
diff --git a/ml-talk.pptx b/ml-talk.pptx
diff --git a/nmake.pdf b/nmake.pdf
diff --git a/obstruction free synchonization.pdf b/obstruction free synchonization.pdf
diff --git a/performance_analysis_guide.pdf b/performance_analysis_guide.pdf
diff --git a/seL4 - Formal Verification of an OS Kernel.pdf b/seL4 - Formal Verification of an OS Kernel.pdf
diff --git a/shared-tech-resources (by killdream)/A Theory of Type Polymorphism in Programming.pdf b/shared-tech-resources (by killdream)/A Theory of Type Polymorphism in Programming.pdf
diff --git a/...ch-resources (by killdream)/A Tutorial On The Universality and Expressiveness of Fold.pdf b/...ch-resources (by killdream)/A Tutorial On The Universality and Expressiveness of Fold.pdf
diff --git a/shared-tech-resources (by killdream)/Asymmetric Lenses in Scala.pdf b/shared-tech-resources (by killdream)/Asymmetric Lenses in Scala.pdf
diff --git a/shared-tech-resources (by killdream)/Barr-Wells-ctcs.pdf b/shared-tech-resources (by killdream)/Barr-Wells-ctcs.pdf
diff --git a/...tech-resources (by killdream)/Bird_Wadler. Introduction to Functional Programming.1ed.pdf b/...tech-resources (by killdream)/Bird_Wadler. Introduction to Functional Programming.1ed.pdf
diff --git a/shared-tech-resources (by killdream)/Computational Contracts.pdf b/shared-tech-resources (by killdream)/Computational Contracts.pdf
diff --git a/shared-tech-resources (by killdream)/DataTypesALaCarte.pdf b/shared-tech-resources (by killdream)/DataTypesALaCarte.pdf
diff --git a/shared-tech-resources (by killdream)/Domain Specific Languages.pdf b/shared-tech-resources (by killdream)/Domain Specific Languages.pdf
diff --git a/shared-tech-resources (by killdream)/Elm - Concurrent FRP for Functional GUIs.pdf b/shared-tech-resources (by killdream)/Elm - Concurrent FRP for Functional GUIs.pdf
diff --git a/shared-tech-resources (by killdream)/F-ing modules.pdf b/shared-tech-resources (by killdream)/F-ing modules.pdf
diff --git a/shared-tech-resources (by killdream)/Feature-Oriented Programming with Object Algebras.pdf b/shared-tech-resources (by killdream)/Feature-Oriented Programming with Object Algebras.pdf
diff --git a/shared-tech-resources (by killdream)/Fundamental Concepts in Programming Languages.pdf b/shared-tech-resources (by killdream)/Fundamental Concepts in Programming Languages.pdf
diff --git a/shared-tech-resources (by killdream)/Genuinely Functional User Interfaces.pdf b/shared-tech-resources (by killdream)/Genuinely Functional User Interfaces.pdf
diff --git a/shared-tech-resources (by killdream)/How to Design Programs.pdf b/shared-tech-resources (by killdream)/How to Design Programs.pdf
diff --git a/shared-tech-resources (by killdream)/On Understanding Data Abstraction, Revisited.pdf b/shared-tech-resources (by killdream)/On Understanding Data Abstraction, Revisited.pdf
diff --git a/shared-tech-resources (by killdream)/Organizing Programs Without Classes.pdf b/shared-tech-resources (by killdream)/Organizing Programs Without Classes.pdf
diff --git a/shared-tech-resources (by killdream)/Practical Foundations for Programming Languages.pdf b/shared-tech-resources (by killdream)/Practical Foundations for Programming Languages.pdf
diff --git a/...-tech-resources (by killdream)/Programming Languages - Application and Interpretation.pdf b/...-tech-resources (by killdream)/Programming Languages - Application and Interpretation.pdf
diff --git a/shared-tech-resources (by killdream)/Purely Functional Data Structures.pdf b/shared-tech-resources (by killdream)/Purely Functional Data Structures.pdf
diff --git a/...(by killdream)/QuickCheck - A lightweight tool for random testing of Haskell programs.pdf b/...(by killdream)/QuickCheck - A lightweight tool for random testing of Haskell programs.pdf
diff --git a/...)/Relational Programming in MiniKanren - Techniques, Applications and Implementations.pdf b/...)/Relational Programming in MiniKanren - Techniques, Applications and Implementations.pdf
diff --git a/shared-tech-resources (by killdream)/ScalaByExample.pdf b/shared-tech-resources (by killdream)/ScalaByExample.pdf
diff --git a/shared-tech-resources (by killdream)/Software Testing with QuickCheck.pdf b/shared-tech-resources (by killdream)/Software Testing with QuickCheck.pdf
diff --git a/...lldream)/The Programming Language Jigsaw - Mixins, Modularity and Multiple Inheritance.ps b/...lldream)/The Programming Language Jigsaw - Mixins, Modularity and Multiple Inheritance.ps
diff --git a/...dream)/The conception, evolution, and application of functional programming languages.pdf b/...dream)/The conception, evolution, and application of functional programming languages.pdf
diff --git a/shared-tech-resources (by killdream)/The_Little_Schemer.pdf b/shared-tech-resources (by killdream)/The_Little_Schemer.pdf
diff --git a/...h-resources (by killdream)/Traits - Composing Classes from Behavioral Building Blocks.pdf b/...h-resources (by killdream)/Traits - Composing Classes from Behavioral Building Blocks.pdf
diff --git a/shared-tech-resources (by killdream)/Type Systems.pdf b/shared-tech-resources (by killdream)/Type Systems.pdf
diff --git a/shared-tech-resources (by killdream)/Type Theory and Functional Programming.pdf b/shared-tech-resources (by killdream)/Type Theory and Functional Programming.pdf
diff --git a/shared-tech-resources (by killdream)/What Makes Code Hard to Understand.pdf b/shared-tech-resources (by killdream)/What Makes Code Hard to Understand.pdf
diff --git a/shared-tech-resources (by killdream)/Why Functional Programming Matters.pdf b/shared-tech-resources (by killdream)/Why Functional Programming Matters.pdf
diff --git a/shared-tech-resources (by killdream)/backpack-paper.pdf b/shared-tech-resources (by killdream)/backpack-paper.pdf
diff --git a/shared-tech-resources (by killdream)/communicating sequential processes.pdf b/shared-tech-resources (by killdream)/communicating sequential processes.pdf
diff --git a/shared-tech-resources (by killdream)/cpdt.pdf b/shared-tech-resources (by killdream)/cpdt.pdf
diff --git a/shared-tech-resources (by killdream)/logic, programming and prolog.pdf b/shared-tech-resources (by killdream)/logic, programming and prolog.pdf
diff --git a/shared-tech-resources (by killdream)/parametricity.pdf b/shared-tech-resources (by killdream)/parametricity.pdf
diff --git a/shared-tech-resources (by killdream)/pause n play - formalising asynchronous c-sharp.pdf b/shared-tech-resources (by killdream)/pause n play - formalising asynchronous c-sharp.pdf
diff --git a/...ware/A Distributed System Based on Web Services for Computational Science Simulations.pdf b/...ware/A Distributed System Based on Web Services for Computational Science Simulations.pdf
diff --git a/software/A Flexible replication framework for scalable and reliable .net service.pdf b/software/A Flexible replication framework for scalable and reliable .net service.pdf
diff --git a/software/A Foreign Function Interface Generator.pdf b/software/A Foreign Function Interface Generator.pdf
diff --git a/software/A Principled Approach to Operating System Construction in Haskell .pdf b/software/A Principled Approach to Operating System Construction in Haskell .pdf
diff --git a/software/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf b/software/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf