<--- Back to Details
First PageDocument Content
Computer programming / Functional programming / Software engineering / Monad / Arrow / Proof theory / Computability theory / CurryHoward correspondence
Date: 2016-04-26 12:54:23
Computer programming
Functional programming
Software engineering
Monad
Arrow
Proof theory
Computability theory
CurryHoward correspondence

Causal commutative arrows revisited Jeremy Yallop Hai Liu WadlerFest

Add to Reading List

Source URL: events.inf.ed.ac.uk

Download Document from Source Website

File Size: 292,63 KB

Share Document on Facebook

Similar Documents

Declarative programming / Software engineering / Lambda calculus / Functional programming / Physics / Combinatory logic / Logic in computer science / Functional reactive programming / Work / Higher-order function / Unfolding

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Plugging a Space Leak with an Arrow Hai Liu and Paul Hudak1

DocID: 1xVLZ - View Document

PDF Document

DocID: 1xBt9 - View Document

PDF Document

DocID: 1xxd4 - View Document

PDF Document

DocID: 1xvT0 - View Document

PDF Document

DocID: 1xfar - View Document