- typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
2024/08/06 by Nikolai Kudasov, Artem Starikov, Kudasov, Nikolai +1 · 1 voice · 3 citations
Computer Science · Mathematics · #Advanced Software Engineering Methodologies #Computer science #FOS: Computer and information sciences #Functional programming #Haskell #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Matching (statistics) #Mathematics #Programming Languages (cs.PL) #Programming language #cs.PL
- Dependently Typing R Vectors, Arrays, and Matrices
2023/04/09 by John Wrenn, John H. Wrenn, Anjali Pal +6 · 1 voice
Computer Science · Decision Sciences · #Code (set theory) #Computer science #Distributed and Parallel Computing Systems #Extension (predicate logic) #Functional programming #Generic programming #Haskell #Programmer #Programming language #Scientific Computing and Data Management #Simulation Techniques and Applications #Theoretical computer science #cs.PL
- Learn Physics by Programming in Haskell
2014/12/11 by Scott N. Walck · 5 voices
Computer Science · Physics and Astronomy · #Calculus (dental) #Computational Physics and Python Applications #Current (fluid) #Dependency (UML) #Expression (computer science) #Functional programming #Haskell #Mathematics, Computing, and Information Processing #Teaching and Learning Programming #Type (biology) #cs.CY #cs.PL #physics.ed-ph
- Yacc is dead
2010/10/24 by Matthew Might, David Darais, Might, Matthew +1 · 5 voices
Computer Science · Mathematics · #Advanced Database Systems and Queries #Artificial intelligence #Combinatory logic #Computer science #Context (archaeology) #Context-free grammar #Extended Affix Grammar #Extension (predicate logic) #Functional programming #Generalization #Haskell #L-attributed grammar #LR parser #Logic, programming, and type systems #Mathematics #Natural Language Processing Techniques #Natural language processing #Parser combinator #Parsing #Parsing expression grammar #Programming language #Rule-based machine translation #S-attributed grammar #cs.PL
- Darcs
2005/09/30 by David Roundy · 1 citation
Engineering · Computer Science · #Intravenous Infusion Technology and Safety #Computational Physics and Python Applications #Haskell #Computer science #Programming language #Process (computing) #Functional programming #Control (management) #Artificial intelligence
- Building interpreters by composing monads
1994/01/01 by Guy L. Steele · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Formal Methods in Verification #Software Testing and Debugging Techniques #Programming language #Computer science #Haskell #Interpreter #Lisp #Block (permutation group theory) #Feature (linguistics) #Construct (python library) #Parsing #Set (abstract data type) #Functional programming #Variety (cybernetics) #Expression (computer science) #Code (set theory) #Artificial intelligence #Mathematics #Linguistics