Works matching IS 09567968 AND DT 2020 AND VI 30
1
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000064
- Article
2
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000040
- HILLERSTRÖM, DANIEL;
- LINDLEY, SAM;
- ATKEY, ROBERT
- Article
3
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000039
- CONVENT, LUKAS;
- LINDLEY, SAM;
- MCBRIDE, CONOR;
- MCLAUGHLIN, CRAIG
- Article
7
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000155
- ABEL, ANDREAS;
- COCKX, JESPER;
- DEVRIESE, DOMINIQUE;
- TIMANY, AMIN;
- WADLER, PHILIP
- Article
9
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S095679682000012X
- ACCATTOLI, BENIAMINO;
- GRAHAM-LENGRAND, STÉPHANE;
- KESNER, DELIA
- Article
10
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000131
- KARACHALIAS, GEORGIOS;
- PRETNAR, MATIJA;
- SALEH, AMR HANY;
- VANDERHALLEN, STIEN;
- SCHRIJVERS, TOM
- Article
11
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000118
- PEREZ, IVAN;
- GOODLOE, ALWYN E.
- Article
12
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000106
- PIETERS, RUBEN P.;
- RIVAS, EXEQUIEL;
- SCHRIJVERS, TOM
- Article
13
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000088
- MOKHOV, ANDREY;
- MITCHELL, NEIL;
- PEYTON JONES, SIMON
- Article
14
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S095679682000009X
- Article
16
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796820000027
- BRACHTHÄUSER, JONATHAN IMMANUEL;
- SCHUSTER, PHILIPP;
- OSTERMANN, KLAUS
- Article
17
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796819000212
- LUKŠIČ, ŽIGA;
- PRETNAR, MATIJA
- Article
20
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796819000194
- Article
21
- Journal of Functional Programming, 2020, v. 30, p. 1, doi. 10.1017/S0956796819000182
- COCKX, JESPER;
- ABEL, ANDREAS
- Article