6
7
Need help understanding Ralf Hinze's Lifting Lemma, and its connection to the Transfer Principle
by Brian Merchant 10 May '19
by Brian Merchant 10 May '19
10 May '19
2
1
1
0
09 May '19
1
0
1
0
2
1
1
0
[TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA
by Peter Achten 08 May '19
by Peter Achten 08 May '19
08 May '19
1
0
[TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA
by Peter Achten 08 May '19
by Peter Achten 08 May '19
08 May '19
1
0
1
0