• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 80 matches

• 2023
• 
  Zoltán Porkoláb, Viktória Zsók:
  Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11950, Springer 2023, ISBN 978-3-031-42832-6 [contents]
• 2019
• 
  Simon Baars, Ana Oprescu:
  Finding Code Clone Refactoring Techniques by Mapping Clone Context. CEFP 2019: 344-357
• 
  Tibor Brunner, Máté Cserép, Anett Fekete, Mónika Mészáros, Zoltán Porkoláb:
  Towards Better Tool Support for Code Comprehension. CEFP 2019: 165-201
• 
  Tihana Galinac Grbac, Nikola Domazet:
  The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources - Part II. Network Evolution and Design Principles. CEFP 2019: 136-164
• 
  Nikolay Handzhiyski, Elena Somova:
  Tunnel Parsing. CEFP 2019: 325-343
• 
  Stefan Korecko:
  Utilizing Rail Traffic Control Simulator in Verified Software Development Courses. CEFP 2019: 98-135
• 
  Jianhao Li, Yuri Kim, Viktória Zsók:
  Balanced Distributed Computation Patterns. CEFP 2019: 202-321
• 
  Gonçalo Lopes, João Paulo Fernandes, Luís Paquete:
  An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms. CEFP 2019: 375-391
• 
  Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
  Writing Internet of Things Applications with Task Oriented Programming. CEFP 2019: 3-52
• 
  Rui Pereira, Marco Couto, Jácome Cunha, Gilberto Melfe, João Saraiva, João Paulo Fernandes:
  Paint Your Programs Green: On the Energy Efficiency of Data Structures. CEFP 2019: 53-76
• 
  João Saraiva, Rui Pereira:
  Energy Efficient Software in an Engineering Course. CEFP 2019: 77-97
• 
  Bart Zuilhof, Rinse van Hees, Clemens Grelck:
  Code Quality Metrics for Functional Features in Modern Object-Oriented Languages. CEFP 2019: 358-374
• 
  Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth:
  Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers. Lecture Notes in Computer Science 10094, Springer 2019, ISBN 978-3-030-28345-2 [contents]
• 2015
• 
  Ivan Cukic:
  Functional Reactive Programming in C++. CEFP 2015: 42-74
• 
  João Paulo Fernandes, Jácome Cunha, João Saraiva, Alberto Pardo:
  Watch Out for that Tree! A Tutorial on Shortcut Deforestation. CEFP 2015: 1-41
• 
  Adam Granicz, Loïc Denuzière:
  Functional, Reactive Web Programming in F#. CEFP 2015: 137-160
• 
  Clemens Grelck:
  Single Assignment C (SAC) - The Compilation Technology Perspective. CEFP 2015: 207-282
• 
  Rainer Grimm:
  Programming in a Functional Style in C++. CEFP 2015: 111-136
• 
  Pieter W. M. Koopman, Rinus Plasmeijer:
  Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors. CEFP 2015: 283-340
• 
  Stefan Korecko:
  Functional Languages in Design of Coloured Petri Nets Models. CEFP 2015: 161-206
• 
  Gábor Oláh, Gergely Nagy, Zoltán Porkoláb:
  Analyzing Scale-Free Properties in Erlang and Scala. CEFP 2015: 380-393
• 
  Zoltán Porkoláb:
  Immutables in C++: Language Foundation for Functional Programming. CEFP 2015: 75-110
• 
  Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
  Static and Dynamic Visualisations of Monadic Programs. CEFP 2015: 341-379
• 
  Viktória Zsók, Zoltán Horváth, Lehel Csató:
  Central European Functional Programming School - 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8606, Springer 2015, ISBN 978-3-319-15939-3 [contents]
• 2013
• 
  Pedro Martins, João Paulo Fernandes, João Saraiva:
  Zipper-Based Modular and Deforested Computations. CEFP 2013: 407-427
• 
  Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer:
  An Introduction to Task Oriented Programming. CEFP 2013: 187-245
• 
  Edwin C. Brady:
  The Idris Programming Language - Implementing Embedded Domain Specific Languages with Dependent Types. CEFP 2013: 115-186
• 
  Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva:
  Design and Implementation of Queries for Model-Driven Spreadsheets. CEFP 2013: 459-478
• 
  Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva:
  Spreadsheet Engineering. CEFP 2013: 246-299
• 
  Marco Danelutto, Massimo Torquati:
  Structured Parallel Programming with "core" FastFlow. CEFP 2013: 29-75

skipping 50 more matches