pedagand's profile

About me

Username:	pedagand
Name:	Pierre-Evariste DAGAND
Job title:	Not specified
Affiliation:	ENS Cachan-Bretagne
Web page:	Not specified
Joined:	2007-10-25

What I do

Not specified

Interests

Not specified

Recent Activity

2009-11-14

15:29: posted Countable Lawvere Theories and Computational Effects
15:23: posted The Universal Algebra of Computational Effects: Lawvere Theories and Monads

2009-11-12

10:28: posted Pretty printing
10:21: posted Linear, bounded, functional pretty-printing

2009-11-09

14:16: posted Comprehension syntax

2009-11-06

20:02: posted Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
20:00: posted Induction Is Not Derivable in Second Order Dependent Type Theory
19:59: posted Monads need not be endofunctors

2009-11-05

15:47: posted Monadic Presentations of Lambda Terms Using Generalized Inductive Types

2009-11-04

11:43: posted Regular universes and formal spaces

2009-11-03

10:39: posted An Implementation of LF with Coercive Subtyping & Universes
10:36: posted Explicit Universes for the Calculus of Constructions
10:30: posted Type checking with universes
10:04: posted The Essence of Dataflow Programming
09:49: posted Comonadic Notions of Computation

2009-11-01

17:38: posted Type checking and normalisation
17:02: posted A Brief Overview of Agda – A Functional Language with Dependent Types
16:59: posted Dependent Types at Work