- Combinator Parsers: From Toys to Tools
2001/08/01 by S. Doaitse Swierstra · 1 citation
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Natural Language Processing Techniques #Combinatory logic #Computer science #Parsing #LR parser #Programming language #Compiler #Parser combinator #Grammar #Set (abstract data type) #Top-down parsing #Natural language processing #Linguistics
- Even higher-order functions for parsing or Why would anyone ever want to use a sixth-order function?
1998/03/01 by Chris Okasaki · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #semigroups and automata theory #Formal Methods in Verification #Combinatory logic #Parsing #Order (exchange) #Function (biology) #Computer science #Parser combinator #Argument (complex analysis) #Functional programming #Programming language #Order type #Base (topology) #Mathematics #Discrete mathematics
- Higher-order functions for parsing
1992/07/01 by Graham Hutton · 2 citations
Computer Science · Mathematics · #Natural Language Processing Techniques #semigroups and automata theory #Logic, programming, and type systems #Computer science #Parsing #Combinatory logic #LR parser #Parser combinator #Programming language #Notation #Top-down parsing #Natural language processing #Artificial intelligence #Simple (philosophy) #Arithmetic #Mathematics