Skip to main content Skip to footer content

Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

Wouter Swierstra Edited by Nicolas Wu

Jan 02, 2023

$72.95

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 365 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

193

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031213137

Functional And Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Michael Hanus Paperback
$80.50
2 formats available
Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho Paperback
$80.50
2 formats available
Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Markus Roggenbach Paperback
$80.50
2 formats available
Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers

Dan Grigoras Paperback
$80.50
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gopal Gupta Paperback
$80.50
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Till Mossakowski Paperback
$80.50
Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Josep Silva Paperback
$80.50
2 formats available
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers

Corrado Priami Paperback
$80.50
Understanding Human Activities Through 3D Sensors: Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers

Hazem Wannous Paperback
$80.50
2 formats available
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Paperback
$71.50
Advanced Visual Interfaces. Supporting Big Data Applications: Avi 2016 Workshop, Avi-bda 2016, Bari, Italy, June 7-10, 2016, Revised Selected Papers

Marco X. Bornschlegl Paperback
$80.50
2 formats available
System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Pau Fonseca i Casas Paperback
$80.50
2 formats available
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Paperback
$80.50
2 formats available
Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Lodovica Marchesi Paperback
$72.95
Computer Architecture: ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

Ana Lucia Varbanescu Paperback
$80.50
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Paperback
$80.50
2 formats available
Beginning Ejb In Java Ee 8: Building Applications With Enterprise Javabeans

Jonathan Wetherbee Paperback
$131.50
5 formats available
Job Scheduling Strategies For Parallel Processing: 23rd International Workshop, Jsspp 2020, New Orleans, La, Usa, May 22, 2020, Revised Selected Papers

Dalibor Klus Paperback
$80.50
2 formats available
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch-teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers

Jean-Michel Bruel Paperback
$80.50
2 formats available
Job Scheduling Strategies for Parallel Processing: 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Dalibor Klus Paperback
$102.50
2 formats available

Editorial reviews

nicolas wu

Author

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Paperback
$80.50
2 formats available
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Paperback
$58.50
Current Trends in Web Engineering: ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers

Cesare Pautasso Paperback
$94.95
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Paperback
$58.50
Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Markus Roggenbach Paperback
$80.50
2 formats available
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Paperback
$94.95
2 formats available
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Paperback
$72.95
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Paperback
$58.50
Software Composition: 6th International Symposium, Sc 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

Markus Lumpe Hardcover
$80.50
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Paperback
$94.95
2 formats available
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Paperback
$80.50
2 formats available
Membrane Computing: 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Pape: 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers

Rudolf Freund Paperback
$80.50
2 formats available
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen Paperback
$80.50
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Paperback
$58.50
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Paperback
$80.50
2 formats available
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill Paperback
$105.50
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Paperback
$94.95
2 formats available
Simulation and Synthesis in Medical Imaging: 7th International Workshop, SASHIMI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings

Can Zhao Paperback
$87.95
2 formats available
Financial Cryptography and Data Security: 28th International Conference, FC 2024, Willemstad, Curacao, March 4-8, 2024, Revised Selected Papers, Part II

Jeremy Clark Paperback
$109.50
Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Paula Herber Paperback
$175.50
2 formats available