papers:这是一张经过大量修改的牛皮纸分叉
需积分: 5 101 浏览量
2021-05-26
01:13:25
上传
评论
收藏 144KB ZIP 举报
papers:这是一张经过大量修改的牛皮纸分叉 （341个子文件） 
[Haxl] There Is No Fork: an Abstraction for Efficient, Concurrent, and Concise Data Access 191B README.md 938B
Convolution Shadow Maps.pdf 203B The Essence of Functional Programming.pdf 203B Cascaded Light Propagation Volumes for Real-Time Indirect Illumination.pdf 203B Computability and λ-Definability.pdf 202B Sets in Coq, Coq in Sets.pdf 202B Programming a Computer for Playing Chess.pdf 202B Homotopy Type Theory: Univalent Foundations for Mathematics.pdf 201B Semiring Parsing.pdf 201B Value Recursion in Monadic Computations.pdf 201B A Comprehensive Study of Convergent and Commutative Replicated Data Types.pdf 201B Romeo: a System For More Flexible Binding-Safe Programming.pdf 201B Unembedding Domain Specific Languages.pdf 201B Practical Shadow Mapping.pdf 201B Securing concurrent programs with dynamic information-flow control.pdf 201B Outline of a Paraconsistent Category Theory.pdf 201B Functional Image Synthesis.pdf 201B Improved Alpha-Tested Magnification for Vector Textures and Special Effects.pdf 201B An Elementary Illustrated Introduction to Simplical Sets.pdf 201B Cons Should Not Evaluate its Arguments.pdf 201B Imperative Functional Programming.pdf 201B Collision Detection and Response for Computer Animation.pdf 201B Type Inference, Haskell and Dependent Types.pdf 201B Rendering Antialiased Shadows with Depth Maps.pdf 201B Initial sequencing and analysis of the human genome.pdf 201B Maximal Sharing in the Lambda Calculus with letrec.pdf 201B Topology and Data.pdf 201B Wavelets and their Applications in Computer Graphics.pdf 201B Lazy Functional State Threads.pdf 201B Fast Local Tone Mapping, Summed-Area Tables and Mesopic Vision Simulation.pdf 201B On Functional Logic Programming and its Application to Testing.pdf 201B Incompleteness & Completeness: Formalizing Logic and Analysis in Type Theory.pdf 201B Refinement Types For Haskell.pdf 201B Exponential Shadow Maps.pdf 201B Less Is More: Generic Programming Theory and Practice.pdf 201B Statistically Rigorous Java Performance Evaluation.pdf 201B Krivine Net: A Semantic Foundation for Distributed Execution.pdf 201B Dual Intuitionistic Linear Logic.pdf 199B Type Inference for the Spine View of Data.pdf 199B Representing Cyclic Structures as Nested Types.pdf 199B Distributors at Work.pdf 199B Unboxed Values as First Class Citizens in a Non-Strict Functional Language.pdf 199B Iteratees.pdf 199B Relative Monads Formalised.pdf 199B Dependently Typed Programming with Singletons.pdf 199B Generic Programming for Indexed Datatypes.pdf 199B Resource-safe Systems Programming with Embedded Domain Specific Languages.pdf 199B Two-Level Types and Parameterized Modules.pdf 199B Euclid's Theorem in Agda.pdf 199B Highly Available Transactions: Virtues and Limitations.pdf 199B Combinator Parsers: From Toys to Tools.pdf 199B Type-Safe Observable Sharing in Haskell.pdf 199B Interval Methods for Multi-Point Collisions between Time-Dependent Curved Surfaces.pdf 199B Sorting With Bialgebras and Distributive Laws.pdf 199B Homotopical Patch Theory.pdf 199B Building Secure systems with LIO (Demo).pdf 199B Push-pull functional reactive programming.pdf 199B Monads for Functional Programming.pdf 199B Symmetric Lenses.pdf 199B The Yampa Arcade.pdf 199B The Monad.Reader, Issue 14.pdf 199B A New Notation for Arrows.pdf 199B Compositional Data Types.pdf 199B System-Level Performance Metrics for Multiprogram Workloads.pdf 199B Functional Reactive Programming, Continued.pdf 199B A Relational Framework for Higher-Order Shape Analysis.pdf 199B Notions of Computation and Monads.pdf 199B SmallCheck and Lazy SmallCheck.pdf 199B Graph Searching and Related Problems.pdf 199B Fast Calculation of Soft Shadow Textures Using Convolution.pdf 199B Thrists: Dominoes of Data.pdf 199B The Monad.Reader, Issue 20.pdf 199B Fudgets: A Graphical User Interface in a Lazy Functional Language.pdf 199B Loglog Counting of Large Cardinalities.pdf 199B Algebraic Effects and Effect Handlers for Idioms and Arrows.pdf 199B The Monad.Reader, Issue 15.pdf 199B The Monad.Reader, Issue 11.pdf 199B Causal Commutative Arrows and their Optimizations.pdf 199B A Library for Secure Multi-threaded Information Flow in Haskell .pdf 199B Safe Zero-cost Coercions for Haskell.pdf 199B The Monad.Reader, Issue 22.pdf 199B Arity-Generic Datatype-Generic Programming.pdf 199B Total Functional Programming.pdf 199B Functional Pearl: La Tour D'Hanoi.pdf 199B Functional Reactive Animation.pdf 199B The Essence of Dataflow Programming.pdf 199B Arrows are Strong Monads.pdf 199B Kleisli Arrows of Outrageous Fortune.pdf 199B Rethinking Prolog.pdf 199B The Derivative of a Regular Type is its Type of One-Hole Contexts.pdf 199B Fixing Idioms.pdf 199B A Seamless, Client-Centric Programming Model for Type Safe Web Applications.pdf 199B How to Keep Your Neighbours in Order.pdf 199B Practical and Effective Higher-Order Optimizations.pdf 199B Witnesses and Open Witnesses.pdf 199B A Theory of Information-Flow Labels.pdf 199B Ideal Hash Trees.pdf 199B Pattern Matching Without K.pdf 199B The Monad.Reader, Issue 9.pdf 199B共 341 条
- 1
- 2
- 3
- 4
资源评论
一行一诚
- 粉丝: 17
- 资源: 4559
最新资源
- Picasso_v3.1 2.ipa
- chromedriver-mac-arm64.zip
- 蓝zapro.apk
- chromedriver-linux64.zip
- UCAS研一深度学习实验-MNIST手写数字识别python源码+详细注释(高分项目)
- 基于Python和PyTorch框架完成的一个手写数字识别实验源码(带MINIST手写数字数据集)+详细注释(高分项目)
- 基于Matlab在MNIST数据集上利用CNN完成手写体数字识别任务，并实现单层CNN反向传播算法+源代码+文档说明(高分项目)
- NVIDIA驱动、CUDA和Pytorch及其依赖
- 基于SVM多特征融合的微表情识别python源码+项目说明+详细注释(高分课程设计)
- html动态爱心代码一（附源码）
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
