DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Arrow (computer science)
Arrow (computer science)
Causal Commutative Arrows Revisited
An Exploration of the Effects of Enhanced Compiler Error Messages for Computer Programming Novices
Directing Javascript with Arrows
The Glasgow Haskell Compiler User's Guide, Version 4.08
SOME USEFUL STRUCTURES for CATEGORICAL APPROACH for PROGRAM BEHAVIOR in Computer Science, Where We Often Use More Complex Structures Not Expressible by Sets
The Bluej Environment Reference Manual
Companion Object
It's All About Morphisms
Mechanized Reasoning During Compilation in the Glasgow Haskell Compiler
Download Article (PDF)
Session Arrows: a Session-Type Based Framework for Parallel Code Generation
An Ode to Arrows
Reversible Effects As Inverse Arrows
Hardware Design with Generalized Arrows
Input and Output in Fuctional Languages
The Arrow Calculus
Generalized Arrows
Arrow Basics
Top View
Category Theory: a Gentle Introduction
Basic Category Theory (OPLSS 2016)
Category Theory in Context
An Authentic Introduction to the Functional Programming Language SML
1 Introduction to Categories and Categorical Logic
Category Theory Lecture Notes
Directing Javascript with Arrows (Functional Pearl)
Encoding Information Flow in Haskell
GENERAL ABSTRACT NONSENSE Contents 1. the Basics 1 1.1
The Arrow Calculus (Functional Pearl)
Arrows, Like Monads, Are Monoids
Enhanced Twisted Arrow Categories
Adapting a Constraint-Based Compiler Tool to a New VLIW Architecture
What Is Functional Programming
Workflow Representation and Runtime Based on Lazy Functional Streams
Types and Applications for Functional Reactive Programming
HASKELL QUICK REFERENCE IEEE Visweek Tutorial 2008
A Compiler for Cada
A Survey of Categorical Concepts
Correct Looping Arrows from Cyclic Terms Traced Categorical Interpretation in Haskell
What Is a Categorical Model of Arrows?
Lecture02 -- Bare Bones Haskell
Transparently Accelerating Spark SQL Code on Computing Hardware
The Arrow Manifesto: Towards Software Engineering Based on Comprehensible Yet Rigorous Graphic Specifications
State in Haskell
Arrows for Parallel Computation
Functional Programming
Structuring General and Complete Quantum Computations in Haskell: the Arrows Approach
Programming with Arrows
Arrow Symbols: Theory for Interpretation Yohei Kurata
The Glasgow Haskell Compiler: a Technical Overview
3. High-Level Functional Programming
Introduction to Category Theory/Categories Contents
Arrows Are Strong Monads