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
Explora técnicas de depuración en vivo centradas en el estado para aplicaciones GUI web, mostrando cambios de estado y código relacionado sin necesidad de registros o puntos de interrupción.
Introduces monadic techniques to bridge the gap between abstract typing rules and multi-phased type checkers, demonstrating implementation for Mini-ML and LM languages.
Herramienta de planificación de viajes que combina texto libre con datos externos y fórmulas dinámicas en un solo documento, permitiendo una organización flexible y personalizada de la información.
Explicación del enfoque de inferencia de tipos en GHC: generación de restricciones y resolución separada. Cubre inferencia bidireccional, restricciones de implicación, números de nivel y más.
Explora las ventajas de tratar las aplicaciones de funciones como un todo en inferencia de tipos, incluyendo mejor experiencia de usuario, polimorfismo impredicativo y argumentos de tipo visibles.
Biblioteca OCaml para mejorar los mensajes de error en asistentes de prueba, facilitando la implementación y mejorando la experiencia del usuario final.
Explora la implementación de la lógica de separación utilizando una regla de marco respaldada por SMT, simplificando la verificación de programas con punteros o referencias.
Explora la tensión entre la eficiencia y la preservación de definiciones en lenguajes tipados, presentando un diseño para evaluación abierta eficiente con despliegues controlados.
Exploración de sintaxis de enlace para programas con tipos dependientes, enfocada en mejorar la ergonomÃa y los mensajes de error en el compilador Idris.
Explora cómo el plugin Nullsafe extiende el sistema de tipos de Java para manejar nulidad, reduciendo errores de puntero nulo en código de producción a gran escala.
Explore Scala's capture checker, a type system ensuring resource and effect safety. Learn its algorithms, architecture, and integration into the compiler, comparable to Rust's borrow checker.
Explore techniques for automatic parallelism management in high-level languages, combining static and runtime approaches to optimize performance without manual tuning, demonstrated through Parallel ML implementation.
Explore how programming languages are reshaping modern networks, with insights on domain-specific abstractions and reasoning tools for network design and implementation.
Introduces MegaLibm, a domain-specific language for implementing math library functions, offering safety, modularity, and tunability to simplify development and enable automatic error detection and synthesis.
Estudio de equivalencias más amplias en concurrencia causal, proponiendo una nueva noción basada en conmutatividad de granos que relaja la equivalencia de trazas manteniendo eficiencia algorÃtmica.
Get personalized course recommendations, track subjects and courses with reminders, and more.