Courses from 1000+ universities
Discover an easier way to explore affordable, credit-worthy online courses with our expanded community college catalog.
600 Free Google Certifications
Management & Leadership
Python
Digital Marketing
Introduction to Frisian
Functional Programming Principles in Scala
Arab-Islamic History: From Tribes to Empires
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Learn Programming Languages, earn certificates with free online courses from Harvard, Stanford, MIT and other top universities around the world. Read reviews to decide if a class is right for you.
Explore four languages for achieving software portability across different platforms and architectures in this concise programming talk.
Explore 𐤄λsmall, a new choreographic programming language featuring multiply located values and multicast capabilities, enabling elegant solutions for complex communication patterns.
Explore Taype, a novel language for secure multiparty computation that decouples security policies from program logic. Learn about oblivious algebraic data types and tape semantics for flexible, policy-agnostic development.
Explore Slice, a domain-specific language for fair division protocols. Learn how it converts programs to logical formulas, enabling automated verification of envy-freeness in resource allocation scenarios.
Explore Fluid, a transparent programming language with bidirectional dynamic dependency analysis, enabling interactive exploration of data relationships in research outputs.
Explore the world of linear logic in programming languages, from linear types to ownership systems, and discover their impact on safety and performance.
Explore Verse, a new functional logic language for the metaverse, featuring innovative concepts beyond traditional functional programming paradigms.
Explore gradual typing and verification techniques in programming languages with Ronald Garcia's preview of the POPL'24 session.
Explore automated ambiguity detection in layout-sensitive grammars using SMT solving. Learn about local ambiguity, reachability conditions, and their application to language design.
Explore gradual typing for effect handlers, integrating effect typing with existing languages. Learn about GrEff language, its semantics, and the graduality theorem through operational logical relations models.
Explore propagator networks as a robust architecture for degenerate computation, enabling software evolution, operational feedback, and language mixing, with bioinformatics examples.
Explore A2, a new programming language for Apple II, its motivations, and compiler development challenges. Learn about this MIT-licensed project from its creator.
Explore the importance of substrate engineering in LLM-based tools, focusing on improving programming languages and frameworks for enhanced code reliability and safety.
Exploring AI's impact on development, from productivity tools to Copilot, and questioning their long-term effects on coding practices and developer skills.
Explore the creation of an African native language-based programming language, bridging cultural gaps in coding and expanding linguistic diversity in tech.
Get personalized course recommendations, track subjects and courses with reminders, and more.