Mailing List:
agda@lists.chalmers.se
Add newDisplay options
4
replies
Infix in Modules with Parameters
started 2018-04-18 18:50:35 UTC
2018-04-19 13:01:32 UTC
Jacques Carette
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
2
replies
AIM XXVII - Göteborg, 4 – 9 June 2018
started 2018-04-11 09:37:50 UTC
2018-04-11 09:43:07 UTC
Nils Anders Danielsson
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
0
replies
2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
started 2018-04-03 07:11:17 UTC
2018-04-03 07:11:17 UTC
Jurriaan Hage
27
replies
new generalize feature, first version
started 2018-03-29 12:13:48 UTC
2018-04-02 12:03:35 UTC
Peter Divianszky
0
replies
Mathematically Structured Functional Programming 2018: Final Call for Papers
started 2018-03-31 21:33:35 UTC
2018-03-31 21:33:35 UTC
Robert Atkey
6
replies
Checking the types of terms
started 2018-03-06 20:12:06 UTC
2018-03-31 12:36:54 UTC
Peter Hancock
0
replies
SBLP 2018 second call for papers
started 2018-03-29 12:07:39 UTC
2018-03-29 12:07:39 UTC
Carlos Camarao
0
replies
Confusion about rewrite mechanism
started 2018-03-29 11:28:10 UTC
2018-03-29 11:28:10 UTC
VinaLx
4
replies
strictness place
started 2018-03-28 08:54:48 UTC
2018-03-28 15:45:34 UTC
Wolfram Kahl
0
replies
literature on Coq page
started 2018-03-28 12:27:36 UTC
2018-03-28 12:27:36 UTC
Sergei Meshveliani
4
replies
Instance resolution question
started 2018-03-28 04:39:31 UTC
2018-03-28 07:23:37 UTC
Apostolis Xekoukoulotakis
1
reply
Is bottom initial without functional extensionality?
started 2018-03-26 23:15:47 UTC
2018-03-27 09:09:52 UTC
Jesper Cockx
1
reply
`Pointwise' over Setoid
started 2018-03-24 10:33:03 UTC
2018-03-24 13:02:40 UTC
Matthew Daggitt
4
replies
Right Distributivity
started 2018-03-22 20:55:19 UTC
2018-03-22 23:49:27 UTC
Philip Wadler
9
replies
Syntax declarations
started 2018-03-18 13:22:24 UTC
2018-03-21 17:08:17 UTC
Philip Wadler
2
replies
nullary copattern matching
started 2018-03-20 22:12:27 UTC
2018-03-21 11:00:21 UTC
Thorsten Altenkirch
5
replies
Partiality/delay monad [was: proofs for (NON)TERMINATING]
started 2018-03-08 08:02:20 UTC
2018-03-20 17:39:15 UTC
Nils Anders Danielsson
4
replies
Confused about rewriting
started 2018-03-18 00:15:05 UTC
2018-03-20 16:35:24 UTC
Philip Wadler
0
replies
Midlands Graduate School - extended registration deadline
started 2018-03-19 14:46:05 UTC
2018-03-19 14:46:05 UTC
Graham Hutton
Click to Load More...
Loading...