- Bringing GNU Emacs to Native Code
2020/04/06 by Andrea Corallo, Corallo, Andrea, Luca Nassi +3 · 3 voices
Computer Science · Decision Sciences · #Code (set theory) #Code generation #Compiled language #Compiler #Executable #Lisp #Logic, programming, and type systems #Scientific Computing and Data Management #Set (abstract data type) #Software Engineering Research #cs.PL
- Resource Polymorphism
2018/03/07 by Guillaume Munch-Maccagnoni, Munch-Maccagnoni, Guillaume · 2 voices · 2 citations
Computer Science · #Computer science #Distributed systems and fault tolerance #Functional programming #Garbage #Garbage collection #Linear logic #Lisp #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming language #Resource Acquisition Is Initialization #Resource allocation #Theoretical computer science #cs.LO #cs.PL
- Neural Symbolic Machines: Learning Semantic Parsers on Freebase with Weak Supervision
2016/10/31 by Liang Chen, Chen Liang, Jonathan Berant +9 · 1 voice · 4 citations
Computer Science · #Artificial intelligence #Artificial neural network #Computer science #Key (lock) #Knowledge base #Language model #Lisp #Machine learning #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Natural language processing #Principle of compositionality #Process (computing) #Programmer #Programming language #Pruning #Sequence (biology) #Task (project management) #Theoretical computer science #Topic Modeling #cs.AI #cs.CL #cs.LG
- How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applications
2016/08/08 by Bohdan B. Khomtchouk, Edmund Weitz, Claes Wahlestedt +1 · 2 voices
Biochemistry, Genetics and Molecular Biology · Earth and Planetary Sciences · #Biomedical Text Mining and Ontologies #Common Lisp #Comparison of multi-paradigm programming languages #Environmental Monitoring and Data Management #Field (mathematics) #Fifth-generation programming language #Gene Regulatory Network Analysis #Lisp #Programming paradigm #Scheme (mathematics) #Second-generation programming language #Third-generation programming language
- The Mysteries of Lisp -- I: The Way to S-expression Lisp
2015/05/26 by Hong-Yi Dai, Hong‐Yi Dai, Dai, Hong-Yi · 2 voices
Computer Science · #Computability, Logic, AI Algorithms #Computer science #Expression (computer science) #Linguistics #Lisp #Logic, programming, and type systems #Philosophy #Programming language #TRACE (psycholinguistics) #cs.PL #semigroups and automata theory
- A pattern of language evolution
2008/10/20 by Richard P. Gabriel, Guy L. Steele · 2 citations
Computer Science · #Common Lisp #Computer science #Diversity (politics) #Language evolution #Linguistics #Lisp #Narrative #Natural Language Processing Techniques #Natural language processing #Philosophy #Programming language #Sociology #Software Engineering Research
- How Lisp Systems Look Different
2008/04/01 by Adrian Dozsa, Tudor Gîrba, Radu Marinescu · 1 citation
Computer Science · #Software Testing and Debugging Techniques #Model-Driven Software Engineering Techniques #Software Engineering Research #Lisp #Computer science #Programming language #Java #Language construct #Common Lisp #Software engineering
- A construction of one-point bases in extended lambda calculi
2004/01/23 by Mayer Goldberg · 1 citation
Computer Science · Mathematics · #Algorithm #Computer science #Constant (computer programming) #Discrete mathematics #Formal Methods in Verification #Functional programming #Lisp #Logic, programming, and type systems #Mathematics #Numerical Methods and Algorithms #Point (geometry) #Programming language #Reduction (mathematics) #Schema (genetic algorithms) #Scheme (mathematics) #Theoretical computer science
- 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
- Endpaper: Technical issues of separation in function cells and value cells
1988/06/01 by Richard P. Gabriel, Kent M. Pitman · 2 citations
Computer Science · Engineering · #Advanced Memory and Neural Computing #Biology #Computability, Logic, AI Algorithms #Computer science #Embedded Systems Design Techniques #Function (biology) #Interpreter #Lisp #Namespace #Operating system #Programming language #Value (mathematics)
- Exact real arithmetic: a case study in higher order programming
1986/01/01 by Hans‐J. Boehm, Robert Cartwright, Mark Riggle +1 · 1 citation
Computer Science · Mathematics · #Arithmetic #Citation #Computability, Logic, AI Algorithms #Computer science #Library science #Lisp #Logic, programming, and type systems #Mathematics #Order (exchange) #Programming language #Quantum Computing Algorithms and Architecture