Mailing List:
agda@lists.chalmers.se
Add newDisplay options
3
replies
AIM XXVII - Göteborg, 4 – 9 June 2018
started 2018-04-11 14:37:50 UTC
2018-05-02 17:24:16 UTC
Jesper Cockx
3
replies
strange "Unreachable clause"
started 2018-05-02 15:35:28 UTC
2018-05-02 16:44:06 UTC
Sergei Meshveliani
0
replies
Trends in Functional Programming: deadline for extended abstracts extended
started 2018-05-02 16:08:52 UTC
2018-05-02 16:08:52 UTC
Andreas Abel
2
replies
how to set level
started 2018-04-30 18:42:38 UTC
2018-05-01 18:09:37 UTC
Sergei Meshveliani
0
replies
3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
started 2018-05-01 10:27:06 UTC
2018-05-01 10: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 14:29:59 UTC
2018-04-30 14:29:59 UTC
Peter Achten
0
replies
Journal of Functional Programming - Call for PhD Abstracts
started 2018-04-30 13:50:08 UTC
2018-04-30 13:50:08 UTC
Graham Hutton
5
replies
Allow cyclic module imports
started 2018-04-26 01:01:25 UTC
2018-04-29 01:22:49 UTC
Tom Murphy
7
replies
agda-mode input method
started 2018-04-26 13:28:26 UTC
2018-04-26 18:48:01 UTC
Nils Anders Danielsson
6
replies
Redundant imports
started 2018-04-24 00:55:03 UTC
2018-04-25 17:23:14 UTC
Martin Escardo
2
replies
ASN.1 and type theory
started 2018-04-20 20:06:56 UTC
2018-04-23 00:00:31 UTC
David Wahlstedt
0
replies
SBLP 2018 deadline extension
started 2018-04-22 17:38:30 UTC
2018-04-22 17:38:30 UTC
Carlos Camarao
5
replies
Infix in Modules with Parameters
started 2018-04-18 23:50:35 UTC
2018-04-19 18:28:19 UTC
Guillaume Allais
2
replies
type of []
started 2018-04-17 17:22:13 UTC
2018-04-18 01:04:49 UTC
Sergei Meshveliani
0
replies
Call for Participation: AFP Summer School in Utrecht
started 2018-04-16 18:05:01 UTC
2018-04-16 18: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 18:01:45 UTC
2018-04-16 18:01:45 UTC
Peter Achten
0
replies
SBLP 2018 last call for papers
started 2018-04-16 03:59:06 UTC
2018-04-16 03:59:06 UTC
Carlos Camarao
0
replies
LFMTP'18 deadline extension
started 2018-04-13 15:51:30 UTC
2018-04-13 15:51:30 UTC
Ana Bove
0
replies
ANN: "Evolution of a type-checker" & "Dependently-typed programming"
started 2018-04-11 01:36:35 UTC
2018-04-11 01:36:35 UTC
Pierre-Evariste Dagand
0
replies
Phd/PostDoc position on linear types and session types
started 2018-04-10 19:53:33 UTC
2018-04-10 19: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 20:44:34 UTC
2018-04-08 20:44:34 UTC
Anders Mortberg
0
replies
Autumn school "Proof and Computation"
started 2018-04-08 05:05:15 UTC
2018-04-08 05:05:15 UTC
Chuangjie Xu
4
replies
Encoding higher lambda calculus in agda
started 2018-04-05 07:36:21 UTC
2018-04-05 13:18:31 UTC
How Si Yu
5
replies
Operational and Denotational, Typed and Untyped Lambda Calculus
started 2018-03-29 17:31:54 UTC
2018-04-03 18:22:54 UTC
Philip Wadler
0
replies
2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
started 2018-04-03 12:11:17 UTC
2018-04-03 12:11:17 UTC
Jurriaan Hage
0
replies
Mathematically Structured Functional Programming 2018: Final Call for Papers
started 2018-04-01 02:33:35 UTC
2018-04-01 02:33:35 UTC
Robert Atkey
6
replies
Checking the types of terms
started 2018-03-07 02:12:06 UTC
2018-03-31 17:36:54 UTC
Peter Hancock
0
replies
SBLP 2018 second call for papers
started 2018-03-29 17:07:39 UTC
2018-03-29 17:07:39 UTC
Carlos Camarao
0
replies
Confusion about rewrite mechanism
started 2018-03-29 16:28:10 UTC
2018-03-29 16:28:10 UTC
VinaLx
4
replies
strictness place
started 2018-03-28 13:54:48 UTC
2018-03-28 20:45:34 UTC
Wolfram Kahl
Click to Load More...
Loading...