Mailing List:
agda@lists.chalmers.se
Add newDisplay options
8
replies
The joys and sorrows of abstraction
started 2018-05-15 22:27:37 UTC
2018-05-16 19:35:41 UTC
Ulf Norell
4
replies
Blog post: The Agda's New Sorts
started 2018-05-04 08:45:57 UTC
2018-05-16 17:01:33 UTC
Jon Sterling
9
replies
How does one debug a programme that one has proved correct?
started 2018-05-04 17:44:55 UTC
2018-05-16 13:41:18 UTC
Philip Wadler
0
replies
Numerical Methods in Functional Programming (CfP)
started 2018-05-13 15:04:00 UTC
2018-05-13 15:04:00 UTC
d***@steinitz.org
0
replies
Bishop's work on Type Theory
started 2018-05-04 23:08:27 UTC
2018-05-04 23:08:27 UTC
Martin Escardo
4
replies
Symmetry
started 2018-05-03 11:49:03 UTC
2018-05-04 16:09:16 UTC
Philip Wadler
3
replies
AIM XXVII - Göteborg, 4 – 9 June 2018
started 2018-04-11 09:37:50 UTC
2018-05-02 12:24:16 UTC
Jesper Cockx
3
replies
strange "Unreachable clause"
started 2018-05-02 10:35:28 UTC
2018-05-02 11:44:06 UTC
Sergei Meshveliani
0
replies
Trends in Functional Programming: deadline for extended abstracts extended
started 2018-05-02 11:08:52 UTC
2018-05-02 11:08:52 UTC
Andreas Abel
2
replies
how to set level
started 2018-04-30 13:42:38 UTC
2018-05-01 13:09:37 UTC
Sergei Meshveliani
0
replies
3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
started 2018-05-01 05:27:06 UTC
2018-05-01 05:27:06 UTC
Jurriaan Hage
0
replies
final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended -
started 2018-04-30 09:29:59 UTC
2018-04-30 09:29:59 UTC
Peter Achten
0
replies
Journal of Functional Programming - Call for PhD Abstracts
started 2018-04-30 08:50:08 UTC
2018-04-30 08:50:08 UTC
Graham Hutton
5
replies
Allow cyclic module imports
started 2018-04-25 20:01:25 UTC
2018-04-28 20:22:49 UTC
Tom Murphy
7
replies
agda-mode input method
started 2018-04-26 08:28:26 UTC
2018-04-26 13:48:01 UTC
Nils Anders Danielsson
6
replies
Redundant imports
started 2018-04-23 19:55:03 UTC
2018-04-25 12:23:14 UTC
Martin Escardo
2
replies
ASN.1 and type theory
started 2018-04-20 15:06:56 UTC
2018-04-22 19:00:31 UTC
David Wahlstedt
0
replies
SBLP 2018 deadline extension
started 2018-04-22 12:38:30 UTC
2018-04-22 12:38:30 UTC
Carlos Camarao
5
replies
Infix in Modules with Parameters
started 2018-04-18 18:50:35 UTC
2018-04-19 13:28:19 UTC
Guillaume Allais
2
replies
type of []
started 2018-04-17 12:22:13 UTC
2018-04-17 20:04:49 UTC
Sergei Meshveliani
0
replies
Call for Participation: AFP Summer School in Utrecht
started 2018-04-16 13:05:01 UTC
2018-04-16 13:05:01 UTC
Swierstra, W.S. (Wouter)
0
replies
2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg
started 2018-04-16 13:01:45 UTC
2018-04-16 13:01:45 UTC
Peter Achten
0
replies
SBLP 2018 last call for papers
started 2018-04-15 22:59:06 UTC
2018-04-15 22:59:06 UTC
Carlos Camarao
0
replies
LFMTP'18 deadline extension
started 2018-04-13 10:51:30 UTC
2018-04-13 10:51:30 UTC
Ana Bove
0
replies
ANN: "Evolution of a type-checker" & "Dependently-typed programming"
started 2018-04-10 20:36:35 UTC
2018-04-10 20:36:35 UTC
Pierre-Evariste Dagand
0
replies
Phd/PostDoc position on linear types and session types
started 2018-04-10 14:53:33 UTC
2018-04-10 14:53:33 UTC
Peter Thiemann
0
replies
Final Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)
started 2018-04-08 15:44:34 UTC
2018-04-08 15:44:34 UTC
Anders Mortberg
0
replies
Autumn school "Proof and Computation"
started 2018-04-08 00:05:15 UTC
2018-04-08 00:05:15 UTC
Chuangjie Xu
4
replies
Encoding higher lambda calculus in agda
started 2018-04-05 02:36:21 UTC
2018-04-05 08:18:31 UTC
How Si Yu
5
replies
Operational and Denotational, Typed and Untyped Lambda Calculus
started 2018-03-29 12:31:54 UTC
2018-04-03 13:22:54 UTC
Philip Wadler
Click to Load More...
Loading...