Results for "functional languages"

Results for "functional languages" Showing 1 - 50 results of 207 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22functional+languages%22&type=AllFields&lng=en 207 0 50 Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / Thu, 01 Jan 2015 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-319-20860-2 https://find.library.upatras.gr/Record/978-3-319-20860-2 Electronic eBook 2015 0 Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / Thu, 01 Jan 2015 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-319-22177-9 https://find.library.upatras.gr/Record/978-3-319-22177-9 Electronic eBook 2015 0 Implementation of Functional Languages 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers / Tue, 01 Jan 2002 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-46028-2 https://find.library.upatras.gr/Record/978-3-540-46028-2 Electronic eBook 2002 0 Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / Tue, 01 Jan 2002 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45607-0 https://find.library.upatras.gr/Record/978-3-540-45607-0 Electronic eBook 2002 0 Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / Wed, 01 Jan 2003 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-36388-0 https://find.library.upatras.gr/Record/978-3-540-36388-0 Electronic eBook 2003 0 Implementation of Functional Languages 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers / Fri, 01 Jan 1999 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-48515-5 https://find.library.upatras.gr/Record/978-3-540-48515-5 Electronic eBook 1999 0 Programming Languages and Systems First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / Wed, 01 Jan 2003 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-40018-9 https://find.library.upatras.gr/Record/978-3-540-40018-9 Electronic eBook 2003 0 Implementation of Functional Languages 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / Sat, 01 Jan 2000 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44658-3 https://find.library.upatras.gr/Record/978-3-540-44658-3 Electronic eBook 2000 0 Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings / Sat, 01 Jan 2000 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45022-1 https://find.library.upatras.gr/Record/978-3-540-45022-1 Electronic eBook 2000 0 Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings / Sat, 01 Jan 2000 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45104-4 https://find.library.upatras.gr/Record/978-3-540-45104-4 Electronic eBook 2000 0 Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / Tue, 01 Jan 2002 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45699-5 https://find.library.upatras.gr/Record/978-3-540-45699-5 Electronic eBook 2002 0 Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings / Fri, 01 Jan 1999 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-48340-3 https://find.library.upatras.gr/Record/978-3-540-48340-3 Electronic eBook 1999 0 Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / Thu, 01 Jan 2004 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-30477-7 https://find.library.upatras.gr/Record/978-3-540-30477-7 Electronic eBook 2004 0 Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / Sat, 01 Jan 2000 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45025-2 https://find.library.upatras.gr/Record/978-3-540-45025-2 Electronic eBook 2000 0 Implementation of Functional Languages 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers / Thu, 01 Jan 1998 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-68528-9 https://find.library.upatras.gr/Record/978-3-540-68528-9 Electronic eBook 1998 0 Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / Wed, 01 Jan 1997 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-68438-1 https://find.library.upatras.gr/Record/978-3-540-68438-1 Electronic eBook 1997 0 Implementation of Functional Languages 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / Mon, 01 Jan 2001 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45361-1 https://find.library.upatras.gr/Record/978-3-540-45361-1 Electronic eBook 2001 0 Euro-Par'97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings / Wed, 01 Jan 1997 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-69549-3 https://find.library.upatras.gr/Record/978-3-540-69549-3 Electronic eBook 1997 0 Mathematics of Surfaces 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings / Wed, 01 Jan 2003 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-39422-8 https://find.library.upatras.gr/Record/978-3-540-39422-8 Electronic eBook 2003 0 Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / Wed, 01 Jan 2003 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44898-3 https://find.library.upatras.gr/Record/978-3-540-44898-3 Electronic eBook 2003 0 A Tight, Practical Integration of Relations and Functions Fri, 01 Jan 1999 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-48064-8 https://find.library.upatras.gr/Record/978-3-540-48064-8 Boley, Harold Electronic eBook 1999 Boley, Harold 0 Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / Wed, 01 Jan 1997 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-69576-9 https://find.library.upatras.gr/Record/978-3-540-69576-9 Electronic eBook 1997 0 Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / Wed, 01 Jan 1997 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-68052-9 https://find.library.upatras.gr/Record/978-3-540-68052-9 Electronic eBook 1997 0 Implementation of Functional Languages 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers / Wed, 01 Jan 2003 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44854-9 https://find.library.upatras.gr/Record/978-3-540-44854-9 Electronic eBook 2003 0 Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / Mon, 01 Jan 2001 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45319-2 https://find.library.upatras.gr/Record/978-3-540-45319-2 Electronic eBook 2001 0 Implementation of Functional Languages 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers / Wed, 01 Jan 1997 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-69239-3 https://find.library.upatras.gr/Record/978-3-540-69239-3 Electronic eBook 1997 0 Advanced Functional Programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / Wed, 01 Jan 2003 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44833-4 https://find.library.upatras.gr/Record/978-3-540-44833-4 Electronic eBook 2003 0 Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings / Wed, 01 Jan 1997 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-69658-2 https://find.library.upatras.gr/Record/978-3-540-69658-2 Electronic eBook 1997 0 Εξαγωγή και επεξεργασία χρήσιμης πληροφορίας απο αρχεία καταγραφής πρόσβασης σε δικτυακούς τόπους και μια νέα γλώσσα περιγραφής τους βασισμένη σε xml Mon, 01 Jan 2007 21:12:25 +0200 https://find.library.upatras.gr/Record/nemertes-10889-508 https://find.library.upatras.gr/Record/nemertes-10889-508 Μπλέκας, Αλέξανδρος Thesis 2007 Μπλέκας, Αλέξανδρος 0 Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Thu, 01 Jan 2015 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-662-46669-8 https://find.library.upatras.gr/Record/978-3-662-46669-8 Electronic eBook 2015 0 Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / Thu, 01 Jan 2015 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-662-46823-4 https://find.library.upatras.gr/Record/978-3-662-46823-4 Electronic eBook 2015 0 Beginning R An Introduction to Statistical Programming / Thu, 01 Jan 2015 21:12:25 +0200 https://find.library.upatras.gr/Record/978-1-4842-0373-6 https://find.library.upatras.gr/Record/978-1-4842-0373-6 Wiley, Joshua F. Electronic eBook 2015 Wiley, Joshua F. 0 Higher-Level Hardware Synthesis Thu, 01 Jan 2004 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-24657-2 https://find.library.upatras.gr/Record/978-3-540-24657-2 Sharp, Richard Electronic eBook 2004 Sharp, Richard 0 Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / Thu, 01 Jan 2004 21:12:25 +0200 https://find.library.upatras.gr/Record/978-3-540-24756-2 https://find.library.upatras.gr/Record/978-3-540-24756-2 Electronic eBook 2004 0 633775.pdf Sun, 01 Jan 2017 21:12:25 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-31245 https://find.library.upatras.gr/Record/oapen-20.500.12657-31245 2017 0 external_content.pdf Sat, 01 Jan 2022 21:12:25 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-56801 https://find.library.upatras.gr/Record/oapen-20.500.12657-56801 2022 0 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming Sun, 01 Jan 2006 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F1159803 https://find.library.upatras.gr/Record/10.1145%2F1159803 Electronic Conference Proceeding eBook 2006 0 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang Thu, 01 Jan 2004 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F1022471 https://find.library.upatras.gr/Record/10.1145%2F1022471 Electronic Conference Proceeding eBook 2004 0 Proceedings of the 1st International Workshop on Type-Driven Development Fri, 01 Jan 2016 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F2976022 https://find.library.upatras.gr/Record/10.1145%2F2976022 Electronic Conference Proceeding eBook 2016 0 Proceedings of the 2005 ACM SIGPLAN workshop on Haskell Sat, 01 Jan 2005 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F1088348 https://find.library.upatras.gr/Record/10.1145%2F1088348 Electronic Conference Proceeding eBook 2005 0 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming Wed, 01 Jan 2003 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F944705 https://find.library.upatras.gr/Record/10.1145%2F944705 Electronic Conference Proceeding eBook 2003 0 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming Fri, 01 Jan 2010 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F1863543 https://find.library.upatras.gr/Record/10.1145%2F1863543 Electronic Conference Proceeding eBook 2010 0 Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming Sun, 01 Jan 2006 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F1159861 https://find.library.upatras.gr/Record/10.1145%2F1159861 Electronic Conference Proceeding eBook 2006 0 Proceedings of the 2nd ACM SIGPLAN symposium on Haskell Thu, 01 Jan 2009 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F1596638 https://find.library.upatras.gr/Record/10.1145%2F1596638 Electronic Conference Proceeding eBook 2009 0 Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing Wed, 01 Jan 2014 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F2636228 https://find.library.upatras.gr/Record/10.1145%2F2636228 Electronic Conference Proceeding eBook 2014 0 Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Tue, 01 Jan 2019 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F3294032 https://find.library.upatras.gr/Record/10.1145%2F3294032 Electronic Conference Proceeding eBook 2019 0 Proceedings of the 3rd workshop on Programming languages meets program verification Thu, 01 Jan 2009 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F1481848 https://find.library.upatras.gr/Record/10.1145%2F1481848 Electronic Conference Proceeding eBook 2009 0 Proceedings of the third ACM SIGPLAN international conference on Functional programming Thu, 01 Jan 1998 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F289423 https://find.library.upatras.gr/Record/10.1145%2F289423 Electronic Conference Proceeding eBook 1998 0 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation Sun, 01 Jan 2012 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F2103746 https://find.library.upatras.gr/Record/10.1145%2F2103746 Electronic Conference Proceeding eBook 2012 0 Proceedings of the seventh ACM SIGPLAN international conference on Functional programming Tue, 01 Jan 2002 21:12:25 +0200 https://find.library.upatras.gr/Record/10.1145%2F581478 https://find.library.upatras.gr/Record/10.1145%2F581478 Electronic Conference Proceeding eBook 2002 0