Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

25

POPL
2016
ACM

favoriteEmaildiscussreport

49views Programming Languages» more POPL 2016»

Dependent types and multi-monadic effects in F

8 years 7 months ago

Dependent types and multi-monadic effects in F

Download www.cs.umd.edu

Nikhil Swamy, Catalin Hritcu, Chantal Keller, Asee

Real-time Traffic

POPL 2016 | Programming Languages |

claim paper

Related Content

» Ynot dependent types for imperative programs

» Ur StaticallyTyped Metaprogramming with TypeLevel Record Computation

» The Effects of STEF in Finely Parallel Multithreaded Processors

» Polymorphism and separation in hoare type theory

» Effective Born radii in the generalized Born approximation The importance of being perfect

» Algebraic foundations for effectdependent optimisations

» Tridirectional typechecking

» Can multipath mitigate power law delays effects of parallelism on tail performance

» Monads in Action

» Statedependent representation independence

Post Info
More Details (n/a)

Added	09 Apr 2016
Updated	09 Apr 2016
Type	Journal
Year	2016
Where	POPL
Authors	Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin

Comments (0)