Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 23

Content of Issue 1
Functional Programming: Past, Present, and Future.
Contributions dedicated to
D. A. Turner on his 70th Birthday
R. Dueire Lins 1
Abstract Data Types without the Types.
Dedicated to David Turner on the occasion of his 70'th birthday
P. Wadler 5
A Logical Reconstruction of Batcher's Mergers
Or: Bitonicity is a Red Herring
R. Hinze, C. Martin 21
Trees that Grow S. Najd, S.P. Jones 42
Higher Inductive Types in Programming H. Basold, H. Geuvers, N. van der Weide 63
A General Method for Defining Objects by Recursion over Syntax S. Thompson 89
First-Class Functions in an Imperative World R. Ierusalimschy 112
Content of Issue 2
Managing Editor's Column C. Gütl 127
Communication in Abstract State Machines E. Börger, K.-D. Schewe 129
A Method for Privacy-preserving Collaborative Filtering Recommendations C.K. Georgiadis, N. Polatidis, H. Mouratidis, E. Pimenidis 146
Design, Implementation and Evaluation of SPOCs at the Universidad Carlos III de Madrid P.J. Muñoz-Merino, E. Méndez Rodríguez, C. Delgado Kloos, J.A. Ruipérez-Valiente 167
Does the Users' Tendency to Seek Information Affect Recommender Systems' Performance? U. Panniello, L. Ardito, A. Messeni Petruzzelli 187
A Cost-Effective Approach for Procedural Training in Virtual Worlds M. Rico, J. Ramírez, D. Riofrío-Luzcando, M. Berrocal-Lobo 208