Home
Twitter
Facebook
Snapchat
Instagram
Medium
pattern matching - language - ¿Qué es el axioma K?
type-systems - programming - alice programing language - edu.lat
haskell - temas - teoria del conocimiento intuicionismo - edu.lat
agda - unitario - subconjunto - edu.lat
haskell - tag - ¿Por qué necesitamos contenedores?
haskell - Una categoría de sustituciones de cambio de tipo.
functional programming - programing - Ayudar al comprobador de terminación de Agda
agda - ¿Por qué Typecase es algo malo? - edu.lat
haskell - trabajo - programacion generica java - edu.lat
types - tipos - Sobre representaciones de permutaciones.
haskell - ¿Por qué los tipos de datos inductivos prohíben tipos como `data Bad a=C(Bad a-> a)` do
algorithm - resueltos - Permutación probablemente correcta en menos de O(n ^ 2)
unitarias - ¿Cómo utilizar la búsqueda automática de pruebas de Agda de manera efectiva?
types - school - ¿Por qué(Set-> Set) no puede tener el tipo Set?
Diferencias entre Agda e Idris - edu.lat
scala - ¿Por dónde empezar con la programación de tipo dependiente?
agda - programacion - etiquetas html pdf - edu.lat
haskell - sonido - ¿Hask o Agda tienen ecualizadores?
programar - haskell inteligencia artificial - edu.lat
coq - ejercicios - ¿Por qué los lenguajes más nuevos que se escribieron de manera dependiente no ado
coq - qué - indicadores e indices metodologia - edu.lat
coq - tag - body definicion - edu.lat
regexp - pruebas sobre expresiones regulares
haskell - que - Comprobación de tipos de Agda y conmutatividad/asociatividad de+
functional programming - shadowhunters - ¿Entonces cuál es el punto?
io - Agda: Lectura de una línea de entrada estándar como una cadena en lugar de un Costring - edu.la
haskell - ¿Hay un lenguaje con tipos restringibles?
haskell - superarla - dependencia emocional pdf - edu.lat
compiler construction - programing - Coerción insegura y código Agda más eficiente(-ftrust-me-im-agd
documentation - language - Agda como lenguaje de programación
haskell - keywords - Averiguar qué metas no están resueltas en un programa Agda
haskell - Los tipos dependientes pueden demostrar que su código es correcto hasta una especificación
Menu
{menu}