<--- Back to Details
First PageDocument Content
Algebra / Mathematics / Abstract algebra / Semigroup theory / Monoidal categories / Functional programming / Programming idioms / Algebraic structures / Monoid / Monad / Functor / Semigroup action
Date: 2016-07-30 09:35:21
Algebra
Mathematics
Abstract algebra
Semigroup theory
Monoidal categories
Functional programming
Programming idioms
Algebraic structures
Monoid
Monad
Functor
Semigroup action

How to Twist Pointers without Breaking Them Satvik Chauhan ∗ Piyush P. Kurur Brent A. Yorgey

Add to Reading List

Source URL: www.cse.iitk.ac.in

Download Document from Source Website

File Size: 292,50 KB

Share Document on Facebook

Similar Documents

Functional Programming for Compiling and Decompiling Computer-Aided Design

Functional Programming for Compiling and Decompiling Computer-Aided Design

DocID: 1xW3j - View Document

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

DocID: 1xVWA - View Document

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

DocID: 1xVW1 - View Document

Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz  Henrik Nilsson

Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson

DocID: 1xVxz - View Document

Synthesis of Differentiable Functional Programs for Lifelong Learning  Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

DocID: 1xVxf - View Document