Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Zoltán Porkoláb, Viktória Zsók (eds.) |
Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers |
CEFP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Korecko |
Utilizing Rail Traffic Control Simulator in Verified Software Development Courses. |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bart Zuilhof, Rinse van Hees, Clemens Grelck |
Code Quality Metrics for Functional Features in Modern Object-Oriented Languages. |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Handzhiyski, Elena Somova |
Tunnel Parsing. |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Rui Pereira, Marco Couto 0001, 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 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Jianhao Li, Yuri Kim, Viktória Zsók |
Balanced Distributed Computation Patterns. |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer |
Writing Internet of Things Applications with Task Oriented Programming. |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gonçalo Lopes, João Paulo Fernandes, Luís Paquete |
An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms. |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth (eds.) |
Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | João Saraiva, Rui Pereira |
Energy Efficient Software in an Engineering Course. |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Baars, Ana Oprescu |
Finding Code Clone Refactoring Techniques by Mapping Clone Context. |
CEFP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Oláh, Gergely Nagy, Zoltán Porkoláb |
Analyzing Scale-Free Properties in Erlang and Scala. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Grimm |
Programming in a Functional Style in C++. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Porkoláb |
Immutables in C++: Language Foundation for Functional Programming. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Cukic |
Functional Reactive Programming in C++. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Korecko |
Functional Languages in Design of Coloured Petri Nets Models. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck |
Single Assignment C (SAC) - The Compilation Technology Perspective. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Viktória Zsók, Zoltán Horváth, Lehel Csató (eds.) |
Central European Functional Programming School - 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer |
Static and Dynamic Visualisations of Monadic Programs. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adam Granicz, Loïc Denuzière |
Functional, Reactive Web Programming in F#. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Rinus Plasmeijer |
Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | João Paulo Fernandes, Jácome Cunha, João Saraiva, Alberto Pardo |
Watch Out for that Tree! A Tutorial on Shortcut Deforestation. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer |
An Introduction to Task Oriented Programming. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gibbons |
Functional Programming for Domain-Specific Languages. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Porkoláb, Ábel Sinkovics, István Siroki |
DSL in C++ Template Metaprogram. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jácome Cunha, João Paulo Fernandes, Jorge Mendes 0001, Rui Pereira, João Saraiva |
Design and Implementation of Queries for Model-Driven Spreadsheets. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edwin C. Brady |
The Idris Programming Language - Implementing Embedded Domain Specific Languages with Dependent Types. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gergely Dévai, Dániel Leskó, Máté Tejfel |
The EDSL's Struggle for Their Sources. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kuper |
Hardware Specification with C \varvecλ aSH. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Halupka |
DSL for Grammar Refactoring Patterns. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Martins 0001, João Paulo Fernandes, João Saraiva |
Zipper-Based Modular and Deforested Computations. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Danelutto, Massimo Torquati |
Structured Parallel Programming with "core" FastFlow. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | László Domoszlai, Rinus Plasmeijer |
Tasklets: Client-Side Evaluation for iTask3. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Juhasz, László Domoszlai, Barnabas Kralik |
Rea: Workflows for Cyber-Physical Systems. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adam Granicz |
Functional Web and Mobile Development in F#. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jácome Cunha, João Paulo Fernandes, Jorge Mendes 0001, João Saraiva |
Spreadsheet Engineering. |
CEFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer (eds.) |
Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers |
CEFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Melinda Tóth, István Bozó |
Static Analysis of Complex Software Systems Implemented in Erlang. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels |
Defining Multi-user Web Applications with iTasks. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Butterfield |
Reasoning about I/O in Functional Programs. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rita Loogen |
Eden - Parallel Functional Programming with Haskell. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Greg Michaelson, Gudmund Grov |
Reasoning about Multi-process Systems with the Box Calculus. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Johan Jeuring, Alex Gerdes, Bastiaan Heeren |
A Programming Tutor for Haskell. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emil Axelsson, Mary Sheeran |
Feldspar: Application and Implementation. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck |
Single Assignment C (SAC) High Productivity Meets High Performance. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Viliam Slodicák, Pavol Macko, Valerie Novitzká |
Some New Approaches in Functional Programming Based on Categories. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Simon Marlow |
Parallel and Concurrent Programming in Haskell. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Páli |
Extending Little Languages into Big Systems. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók (eds.) |
Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures |
CEFP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Hinze |
Reasoning about Codata. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001 |
Software Testing with QuickCheck. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Porkoláb |
Functional Programming with C++ Template Metaprograms. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Adam Granicz |
Rapid Prototyping of DSLs with F#. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik |
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten |
An Effective Methodology for Defining Consistent Semantics of Complex Systems. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Kennedy |
Types for Units-of-Measure: Theory and Practice. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao |
Programming in Manticore, a Heterogenous Parallel Functional Language. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gergely Dévai |
Embedding a Proof System in Haskell. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Cesarini, Simon J. Thompson |
Erlang Behaviours: Programming with Process Design Patterns. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Péter Diviánszky |
Non-monadic Models of Mutable References. |
CEFP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók (eds.) |
Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures |
CEFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman |
An Introduction to iTasks: Defining Interactive Work Flows for the Web. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Werner E. Kluge |
Abstract lambda-Calculus Machines. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Kozsik, Zoltán Csörnyei, Zoltán Horváth, Roland Király, Róbert Kitlei, László Lövei, Tamás Nagy, Melinda Tóth, Anikó Nagyné Víg |
Use Cases for Refactoring in Erlang. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tim Sheard, Nathan Linger |
Programming in Omega. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Csörnyei, Gergely Dévai |
An Introduction to the Lambda Calculus. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Horia F. Pop |
A Tutorial on Object-Oriented Functional Programming. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
Proving Properties of Lazy Functional Programs with Sparkle. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer |
From Interpretation to Compilation. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Horváth (eds.) |
Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures |
CEFP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rinus Plasmeijer, Peter Achten |
Generic Editors for the World Wide Web. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Rinus Plasmeijer |
Fully Automatic Testing with Functions as Specifications. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Kozsik |
Tutorial on Subtype Marks. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sven-Bodo Scholz |
Functional Array Programming in SaC. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu, Varmo Vene |
The Essence of Dataflow Programming. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Viktória Zsók, Zoltán Hernyák, Zoltán Horváth |
Designing Distributed Computational Skeletons in D-Clean and D-Box. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Máté Tejfel, Zoltán Horváth, Tamás Kozsik |
Temporal Properties of Clean Programs Proven in Sparkle-T. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Hammond |
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|