Courses from 1000+ universities
Class Central experiments with cataloging online courses from California Community Colleges, offering diverse, affordable, and credit-worthy learning opportunities.
600 Free Google Certifications
Communication Skills
Project Management
Web Design
Philosophy, Science and Religion: Religion and Science
Improving Communication Skills
Unlocking Information Security I: From Cryptography to Buffer Overflows
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Insights on dynamic languages from a seasoned researcher's perspective, covering successful strategies in research, advising, and project leadership.
Introduces a novel projection operator for Multiparty Session Types that is sound, complete, and efficient, using automata-based synthesis and implementability checking.
Explores JIT compilation's potential for dynamic languages, assessing current VM limitations and future needs from an industry perspective deploying Ruby projects at scale.
Actix-Telepathy: Eine Erweiterung für Rusts Actix-Bibliothek, die Remote-Messaging und Clustering-Unterstützung für verteilte Anwendungen ermöglicht. Vergleichbare Leistung mit etablierten Aktorbibliotheken.
Insights gained while writing a book on session types, including coinductive definitions, linear and sharable types, subtyping, and propositions-as-types approach.
Presentación sobre tipos de sesiones mixtas asíncronas y síncronas, explorando su expresividad y desafíos en la garantía de seguridad de tipos y comunicación.
Exploración de la programación políglota: ventajas, desafíos y su viabilidad en el desarrollo de software moderno. Análisis desde perspectivas de integración de lenguajes y ingeniería de software.
持続的シグナルをJavaScriptで実現する手法を提案。リアクティブプログラミングの概念を拡張し、Webフロントエンド開発に適用可能な実装方法を解説。リレーサーバーベースのアーキテクチャを採用。
Presentación de un proyecto en curso para definir un conjunto de protocolos de referencia para tipos de sesión (multipartita), incluyendo motivación, criterios de selección y discusión abierta.
Explore mechanisms for describing real-time tasks in FRP languages for small-scale embedded systems, focusing on periodic and aperiodic task extensions in Emfrp.
Explora los principios fundamentales del diseño de sistemas de tipos, comparando tipos de sesión con tipos ordinarios y examinando sus roles en lógica, matemáticas e informática.
Propone un sistema de tipos flexible para prevenir carreras de datos en programación paralela, permitiendo alias controlados y patrones de programación comunes.
Propone una solución para el casting de comportamiento en lenguajes tipados estáticamente, extendiendo JaTyC para soportar casting en medio de protocolos de clase.
Explora el lenguaje Hylo para programación de sistemas de alto nivel, enfocándose en su sistema de verificación de seguridad y manejo eficiente de la memoria sin anotaciones de tiempo de vida.
Exploración de cómo las tecnologías emergentes están haciendo que todos los lenguajes de programación sean dinámicos, y las implicaciones para los programadores en el futuro.
Get personalized course recommendations, track subjects and courses with reminders, and more.