Lisp - PDFSEARCH.IO - Document Search Engine

Lisp
Results: 1687

#	Item
101	Scheme on the Web and in the Classroom A Retrospective about the LAML Project Kurt Nørmark Department of Computer Science, Aalborg University, Denmark Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 07:47:48 Functional languages Markup languages Text editors Transformation languages Formal languages Lisp Emacs Scheme XML transformation language XSLT Abstract syntax tree Comment
102	PDF Document Add to Reading List Source URL: littlebeespeech.com Language: English - Date: 2014-10-26 19:21:26 Phonetics Phonology Manner of articulation Vowels Hangul Syllable Lisp
103	Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:29:56 Theoretical computer science Formal methods ACL2 Lisp Statements Automated theorem proving Formal verification J Strother Moore Mathematical proof Conjecture Algorithm Reason
104	A Self-Applicable Supercompiler Andrei P. Nemytykh Victoria A. Pinchuk Programming Systems Institute, Pereslavl-Zalesski, Russia Valentin F. Turchin The City College of New York Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Subroutines Refal Metacompilation Closure Pattern matching Free variables and bound variables Variable Parameter Lisp Expression
105	Deriving Generic Functions by Example Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Functional programming Programming language comparisons Procedural programming languages Cons Lisp List Relational operator Map ALGOL 68 Generalized algebraic data type
106	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML
107	Improving Reuse of Component Families by Generating Component Hierarchies Marko Rosenmüller Norbert Siegmund Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2010-10-19 07:12:02 Object-oriented programming Inheritance Subtyping Feature model Is-a Class Mixin Multiple inheritance Code reuse Polymorphism Factory Common Lisp Object System
108	Microsoft PowerPoint - lecture-oop2-sp05.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-15 13:57:11 Object-oriented programming Objective-C Self Method Inheritance Class Object Common Lisp Object System This Java Multiple inheritance Metaclass
109	HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Functional programming Functional languages Data types Type theory Source code Generalized algebraic data type Haskell Type class Lisp Macro Guard Pattern matching
110	Microsoft Word - LAW-Paper.doc Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Theoretical computer science Logic in computer science Formal methods Computer security ACL2 Lisp Formal verification SPARK Domain-specific language Pointer Information security Programming language

UPDATE