Functional Programming Principles - 03.06.2013.pdf

•

0 likes•18 views

Kresimir successfully completed an online Coursera course in Functional Programming Principles in Scala from École Polytechnique Fédérale de Lausanne with distinction. The advanced undergraduate course covered functional programming principles like functions as values, recursion, immutability, pattern matching, higher-order functions, collections, and lazy evaluation using the Scala programming language. The course was taught by Martin Odersky, a professor of computer science at École Polytechnique Fédérale de Lausanne.

Software

coursera.org
Statement of Accomplishment
WITH DISTINCTION
JUNE 03, 2013
KRESIMIR
HAS SUCCESSFULLY COMPLETED THE ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE’S ONLINE
OFFERING OF
Functional Programming Principles
in Scala
This advanced undergraduate programming course covers the
principles of functional programming using Scala, including the
use of functions as values, recursion, immutability, pattern
matching, higher-order functions and collections, and lazy
evaluation.
MARTIN ODERSKY
PROFESSOR OF COMPUTER SCIENCE
ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE
DISCLAIMER : THIS ONLINE OFFERING DOES NOT REFLECT THE ENTIRE CURRICULUM OFFERED TO STUDENTS ENROLLED AT ECOLE
POLYTECHNIQUE FÉDÉRALE DE LAUSANNE. THIS DOCUMENT DOES NOT AFFIRM THAT THIS STUDENT WAS ENROLLED AS A ECOLE
POLYTECHNIQUE FÉDÉRALE DE LAUSANNE STUDENT IN ANY WAY; IT DOES NOT CONFER A ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE
CREDIT; IT DOES NOT CONFER A ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE DEGREE OR CERTIFICATE; AND IT DOES NOT VERIFY THE
IDENTITY OF THE INDIVIDUAL WHO TOOK THE COURSE.

Similar to Functional Programming Principles - 03.06.2013.pdf

Certificate_Web_Applications_ArchitectureKalpesh Panchal

Linear and Discrete Optimization

Vassilios Rendoumis

Coursera webapplications 2014Shay Gazit

Coursera reactive 2014Henadz Yermakavets

Web Applications 2014 Certificate

masonmonroe

Coursera Human-Computer InteractionSvetlana Tytskaya

Coursera webapplications 2015Jen Hodges

Coursera CDVT89WMSWJ7Sakalya Deshpande

Coursera 3dmotion 2014Valdis Balcers

Coursera reactive 2015Alexander Glukhovtsev

GWU_UNOFFICIAL_TRANSCRIPTVincent Montoya

Coursera webapplications 2015Yaroslav Prisyazhnyuk

CURRICULUM VITAEJorge Esparza, PhD

Web-Based_Engineering_Portfolio_System (1).pdf

PritamSha1

Statement of Accomplishment_Sergey_Karpenko_University of Michigan_Social Net...

sergey25pr

IRJET- Tracking and Predicting Student Performance using Machine Learning

IRJET Journal

2014_HCI kursMagdalena Antonina Michta

Data Clustering in Education for Students

IRJET Journal

Coursera reactive 2015Andrea Zoleo

Coursera webapplications 2015Sunil Kumar Reddy Buddala

Similar to Functional Programming Principles - 03.06.2013.pdf (20)

Certificate_Web_Applications_Architecture

Linear and Discrete Optimization

Coursera webapplications 2014

Coursera reactive 2014

Web Applications 2014 Certificate

Coursera Human-Computer Interaction

Coursera webapplications 2015

Coursera CDVT89WMSWJ7

Coursera 3dmotion 2014

Coursera reactive 2015

GWU_UNOFFICIAL_TRANSCRIPT

Coursera webapplications 2015

CURRICULUM VITAE

Web-Based_Engineering_Portfolio_System (1).pdf

Statement of Accomplishment_Sergey_Karpenko_University of Michigan_Social Net...

IRJET- Tracking and Predicting Student Performance using Machine Learning

2014_HCI kurs

Data Clustering in Education for Students

Coursera reactive 2015

Coursera webapplications 2015

Recently uploaded

Cyaniclab : Software Development Agency Portfolio.pdf

Cyanic lab

CyanicLab, an offshore custom software development company based in Sweden,India, Finland, is your go-to partner for startup development and innovative web design solutions. Our expert team specializes in crafting cutting-edge software tailored to meet the unique needs of startups and established enterprises alike. From conceptualization to execution, we offer comprehensive services including web and mobile app development, UI/UX design, and ongoing software maintenance. Ready to elevate your business? Contact CyanicLab today and let us propel your vision to success with our top-notch IT solutions.

Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...

Shahin Sheidaei

Games are powerful teaching tools, fostering hands-on engagement and fun. But they require careful consideration to succeed. Join me to explore factors in running and selecting games, ensuring they serve as effective teaching tools. Learn to maintain focus on learning objectives while playing, and how to measure the ROI of gaming in education. Discover strategies for pitching gaming to leadership. This session offers insights, tips, and examples for coaches, team leads, and enterprise leaders seeking to teach from simple to complex concepts.

Advanced Flow Concepts Every Developer Should Know

Peter Caitens

Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL

Natan Silnitsky

In software engineering, the right architecture is essential for robust, scalable platforms. Wix has undergone a pivotal shift from event sourcing to a CRUD-based model for its microservices. This talk will chart the course of this pivotal journey. Event sourcing, which records state changes as immutable events, provided robust auditing and "time travel" debugging for Wix Stores' microservices. Despite its benefits, the complexity it introduced in state management slowed development. Wix responded by adopting a simpler, unified CRUD model. This talk will explore the challenges of event sourcing and the advantages of Wix's new "CRUD on steroids" approach, which streamlines API integration and domain event management while preserving data integrity and system resilience. Participants will gain valuable insights into Wix's strategies for ensuring atomicity in database updates and event production, as well as caching, materialization, and performance optimization techniques within a distributed system. Join us to discover how Wix has mastered the art of balancing simplicity and extensibility, and learn how the re-adoption of the modest CRUD has turbocharged their development velocity, resilience, and scalability in a high-growth environment.

How Recreation Management Software Can Streamline Your Operations.pptx

wottaspaceseo

Recreation management software streamlines operations by automating key tasks such as scheduling, registration, and payment processing, reducing manual workload and errors. It provides centralized management of facilities, classes, and events, ensuring efficient resource allocation and facility usage. The software offers user-friendly online portals for easy access to bookings and program information, enhancing customer experience. Real-time reporting and data analytics deliver insights into attendance and preferences, aiding in strategic decision-making. Additionally, effective communication tools keep participants and staff informed with timely updates. Overall, recreation management software enhances efficiency, improves service delivery, and boosts customer satisfaction.

2024 RoOUG Security model for the cloud.pptx

Georgi Kodinov

top nidhi software solution freedownload

vrstrong314

This presentation emphasizes the importance of data security and legal compliance for Nidhi companies in India. It highlights how online Nidhi software solutions, like Vector Nidhi Software, offer advanced features tailored to these needs. Key aspects include encryption, access controls, and audit trails to ensure data security. The software complies with regulatory guidelines from the MCA and RBI and adheres to Nidhi Rules, 2014. With customizable, user-friendly interfaces and real-time features, these Nidhi software solutions enhance efficiency, support growth, and provide exceptional member services. The presentation concludes with contact information for further inquiries.

Visitor Management System in India- Vizman.app

NaapbooksPrivateLimi

Your Digital Assistant. Making complex approach simple. Straightforward process saves time. No more waiting to connect with people that matter to you. Safety first is not a cliché - Securely protect information in cloud storage to prevent any third party from accessing data. Would you rather make your visitors feel burdened by making them wait? Or choose VizMan for a stress-free experience? VizMan is an automated visitor management system that works for any industries not limited to factories, societies, government institutes, and warehouses. A new age contactless way of logging information of visitors, employees, packages, and vehicles. VizMan is a digital logbook so it deters unnecessary use of paper or space since there is no requirement of bundles of registers that is left to collect dust in a corner of a room. Visitor’s essential details, helps in scheduling meetings for visitors and employees, and assists in supervising the attendance of the employees. With VizMan, visitors don’t need to wait for hours in long queues. VizMan handles visitors with the value they deserve because we know time is important to you. Feasible Features One Subscription, Four Modules – Admin, Employee, Receptionist, and Gatekeeper ensures confidentiality and prevents data from being manipulated User Friendly – can be easily used on Android, iOS, and Web Interface Multiple Accessibility – Log in through any device from any place at any time One app for all industries – a Visitor Management System that works for any organisation. Stress-free Sign-up Visitor is registered and checked-in by the Receptionist Host gets a notification, where they opt to Approve the meeting Host notifies the Receptionist of the end of the meeting Visitor is checked-out by the Receptionist Host enters notes and remarks of the meeting Customizable Components Scheduling Meetings – Host can invite visitors for meetings and also approve, reject and reschedule meetings Single/Bulk invites – Invitations can be sent individually to a visitor or collectively to many visitors VIP Visitors – Additional security of data for VIP visitors to avoid misuse of information Courier Management – Keeps a check on deliveries like commodities being delivered in and out of establishments Alerts & Notifications – Get notified on SMS, email, and application Parking Management – Manage availability of parking space Individual log-in – Every user has their own log-in id Visitor/Meeting Analytics – Evaluate notes and remarks of the meeting stored in the system Visitor Management System is a secure and user friendly database manager that records, filters, tracks the visitors to your organization. "Secure Your Premises with VizMan (VMS) – Get It Now"

Large Language Models and the End of Programming

Matt Welsh

Multiple Your Crypto Portfolio with the Innovative Features of Advanced Crypt...

Hivelance Technology

Cryptocurrency trading bots are computer programs designed to automate buying, selling, and managing cryptocurrency transactions. These bots utilize advanced algorithms and machine learning techniques to analyze market data, identify trading opportunities, and execute trades on behalf of their users. By automating the decision-making process, crypto trading bots can react to market changes faster than human traders Hivelance, a leading provider of cryptocurrency trading bot development services, stands out as the premier choice for crypto traders and developers. Hivelance boasts a team of seasoned cryptocurrency experts and software engineers who deeply understand the crypto market and the latest trends in automated trading, Hivelance leverages the latest technologies and tools in the industry, including advanced AI and machine learning algorithms, to create highly efficient and adaptable crypto trading bots

Designing for Privacy in Amazon Web Services

KrzysztofKkol1

Data privacy is one of the most critical issues that businesses face. This presentation shares insights on the principles and best practices for ensuring the resilience and security of your workload. Drawing on a real-life project from the HR industry, the various challenges will be demonstrated: data protection, self-healing, business continuity, security, and transparency of data processing. This systematized approach allowed to create a secure AWS cloud infrastructure that not only met strict compliance rules but also exceeded the client's expectations.

Developing Distributed High-performance Computing Capabilities of an Open Sci...

Globus

COVID-19 had an unprecedented impact on scientific collaboration. The pandemic and its broad response from the scientific community has forged new relationships among public health practitioners, mathematical modelers, and scientific computing specialists, while revealing critical gaps in exploiting advanced computing systems to support urgent decision making. Informed by our team’s work in applying high-performance computing in support of public health decision makers during the COVID-19 pandemic, we present how Globus technologies are enabling the development of an open science platform for robust epidemic analysis, with the goal of collaborative, secure, distributed, on-demand, and fast time-to-solution analyses to support public health.

Providing Globus Services to Users of JASMIN for Environmental Data Analysis

Globus

JASMIN is the UK’s high-performance data analysis platform for environmental science, operated by STFC on behalf of the UK Natural Environment Research Council (NERC). In addition to its role in hosting the CEDA Archive (NERC’s long-term repository for climate, atmospheric science & Earth observation data in the UK), JASMIN provides a collaborative platform to a community of around 2,000 scientists in the UK and beyond, providing nearly 400 environmental science projects with working space, compute resources and tools to facilitate their work. High-performance data transfer into and out of JASMIN has always been a key feature, with many scientists bringing model outputs from supercomputers elsewhere in the UK, to analyse against observational or other model data in the CEDA Archive. A growing number of JASMIN users are now realising the benefits of using the Globus service to provide reliable and efficient data movement and other tasks in this and other contexts. Further use cases involve long-distance (intercontinental) transfers to and from JASMIN, and collecting results from a mobile atmospheric radar system, pushing data to JASMIN via a lightweight Globus deployment. We provide details of how Globus fits into our current infrastructure, our experience of the recent migration to GCSv5.4, and of our interest in developing use of the wider ecosystem of Globus services for the benefit of our user community.

Understanding Globus Data Transfers with NetSage

Globus

NetSage is an open privacy-aware network measurement, analysis, and visualization service designed to help end-users visualize and reason about large data transfers. NetSage traditionally has used a combination of passive measurements, including SNMP and flow data, as well as active measurements, mainly perfSONAR, to provide longitudinal network performance data visualization. It has been deployed by dozens of networks world wide, and is supported domestically by the Engagement and Performance Operations Center (EPOC), NSF #2328479. We have recently expanded the NetSage data sources to include logs for Globus data transfers, following the same privacy-preserving approach as for Flow data. Using the logs for the Texas Advanced Computing Center (TACC) as an example, this talk will walk through several different example use cases that NetSage can answer, including: Who is using Globus to share data with my institution, and what kind of performance are they able to achieve? How many transfers has Globus supported for us? Which sites are we sharing the most data with, and how is that changing over time? How is my site using Globus to move data internally, and what kind of performance do we see for those transfers? What percentage of data transfers at my institution used Globus, and how did the overall data transfer performance compare to the Globus users?

OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam

takuyayamamoto1800

Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf

AMB-Review

Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos https://www.amb-review.com/tubetrivia-ai Exclusive Features: AI-Powered Questions, Wide Range of Categories, Adaptive Difficulty, User-Friendly Interface, Multiplayer Mode, Regular Updates. #TubeTriviaAI #QuizVideoMagic #ViralQuizVideos #AIQuizGenerator #EngageExciteExplode #MarketingRevolution #BoostYourTraffic #SocialMediaSuccess #AIContentCreation #UnlimitedTraffic

Globus Compute wth IRI Workflows - GlobusWorld 2024

Globus

As part of the DOE Integrated Research Infrastructure (IRI) program, NERSC at Lawrence Berkeley National Lab and ALCF at Argonne National Lab are working closely with General Atomics on accelerating the computing requirements of the DIII-D experiment. As part of the work the team is investigating ways to speedup the time to solution for many different parts of the DIII-D workflow including how they run jobs on HPC systems. One of these routes is looking at Globus Compute as a way to replace the current method for managing tasks and we describe a brief proof of concept showing how Globus Compute could help to schedule jobs and be a tool to connect compute at different facilities.

Cracking the code review at SpringIO 2024

Paco van Beckhoven

Code reviews are vital for ensuring good code quality. They serve as one of our last lines of defense against bugs and subpar code reaching production. Yet, they often turn into annoying tasks riddled with frustration, hostility, unclear feedback and lack of standards. How can we improve this crucial process? In this session we will cover: - The Art of Effective Code Reviews - Streamlining the Review Process - Elevating Reviews with Automated Tools By the end of this presentation, you'll have the knowledge on how to organize and improve your code review proces

Quarkus Hidden and Forbidden Extensions

Max Andersen

Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...

Globus

The U.S. Geological Survey (USGS) has made substantial investments in meeting evolving scientific, technical, and policy driven demands on storing, managing, and delivering data. As these demands continue to grow in complexity and scale, the USGS must continue to explore innovative solutions to improve its management, curation, sharing, delivering, and preservation approaches for large-scale research data. Supporting these needs, the USGS has partnered with the University of Chicago-Globus to research and develop advanced repository components and workflows leveraging its current investment in Globus. The primary outcome of this partnership includes the development of a prototype enterprise repository, driven by USGS Data Release requirements, through exploration and implementation of the entire suite of the Globus platform offerings, including Globus Flow, Globus Auth, Globus Transfer, and Globus Search. This presentation will provide insights into this research partnership, introduce the unique requirements and challenges being addressed and provide relevant project progress.

Recently uploaded (20)

Cyaniclab : Software Development Agency Portfolio.pdf

Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...

Advanced Flow Concepts Every Developer Should Know

Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL

How Recreation Management Software Can Streamline Your Operations.pptx

2024 RoOUG Security model for the cloud.pptx

top nidhi software solution freedownload

Visitor Management System in India- Vizman.app

Large Language Models and the End of Programming

Multiple Your Crypto Portfolio with the Innovative Features of Advanced Crypt...

Designing for Privacy in Amazon Web Services

Developing Distributed High-performance Computing Capabilities of an Open Sci...

Providing Globus Services to Users of JASMIN for Environmental Data Analysis

Understanding Globus Data Transfers with NetSage

OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam

Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf

Globus Compute wth IRI Workflows - GlobusWorld 2024

Cracking the code review at SpringIO 2024

Quarkus Hidden and Forbidden Extensions

Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...

Functional Programming Principles - 03.06.2013.pdf

1. coursera.org Statement of Accomplishment WITH DISTINCTION JUNE 03, 2013 KRESIMIR HAS SUCCESSFULLY COMPLETED THE ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE’S ONLINE OFFERING OF Functional Programming Principles in Scala This advanced undergraduate programming course covers the principles of functional programming using Scala, including the use of functions as values, recursion, immutability, pattern matching, higher-order functions and collections, and lazy evaluation. MARTIN ODERSKY PROFESSOR OF COMPUTER SCIENCE ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE DISCLAIMER : THIS ONLINE OFFERING DOES NOT REFLECT THE ENTIRE CURRICULUM OFFERED TO STUDENTS ENROLLED AT ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE. THIS DOCUMENT DOES NOT AFFIRM THAT THIS STUDENT WAS ENROLLED AS A ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE STUDENT IN ANY WAY; IT DOES NOT CONFER A ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE CREDIT; IT DOES NOT CONFER A ECOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE DEGREE OR CERTIFICATE; AND IT DOES NOT VERIFY THE IDENTITY OF THE INDIVIDUAL WHO TOOK THE COURSE.

Functional Programming Principles - 03.06.2013.pdf

Recommended

Recommended

More Related Content

Similar to Functional Programming Principles - 03.06.2013.pdf

Similar to Functional Programming Principles - 03.06.2013.pdf (20)

More from Kresimir Popovic

More from Kresimir Popovic (20)

Recently uploaded

Recently uploaded (20)

Functional Programming Principles - 03.06.2013.pdf