BibSonomy :: author  ::

bookmarks

publications

(65)

• Lazy Contract Checking for Immutable Data Structures.
  Robert Bruce Findler and Shu yu Guo and Anne Rogers IFL 111-128 (2007)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• Associative Networks: The Representation and Use of Knowledge of Computers
  Nicholas V. Findler (eds.). (1979)
  to info.refs.books mrefs research.conceptual.graphs research.kr state.toRead by msn on 2008-07-23 14:19:08
  | URL | BibTeX  
• A heuristic approach to optimum experimental design
  Nicholas V. Findler and Robert F. Cromp Computational Statistics \& Data Analysis 2 167--178 (1984)
  to Dynamic design generator by smicha on 2008-04-23 14:55:19
  | URL | BibTeX  
• On the Epistemogical Status of Semantic Networks
  Ronald J. Brachman Associative Networks: Representation and Use of Knowledge by Computers 3--50 (1979)
  to 2000 book nlp by nlp on 2008-03-17 11:27:54
  | BibTeX  
• On the Epistemological Status of Semantic Networks
  Ronald J. Brachman Associative Networks: Representation and Use of Knowledge by Computers 3--50 (1979)
  to nn by idsia and 2 other people on 2008-03-11 14:52:34
  | BibTeX  
• On the Epistemological Status of Semantic Networks
  Ronald J. Brachman Associative Networks: Representation and Use of Knowledge by Computers 3--50 (1979)
  to nn by schaul and 2 other people on 2008-02-26 11:58:58
  | BibTeX  
• The Structure and Organization of a Semantic Net for Comprehension and Inference
  L. K. Schubert and R. G. Goebel and N. J. Cercone Associative Network: Representation and Use of Knowledge by Computers 121--175 (1979)
  to imported by ramaz on 2007-11-23 14:13:20
  | BibTeX  
• Adding delimited and composable control to a production programming environment.
  Matthew Flatt and Gang Yu and Robert Bruce Findler and Matthias Felleisen ICFP 165-176 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Contract Soundness for object-oriented languages
  Robert B. Findler and Matthias Felleisen OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications 1--15 (2001)
  to language object-oriented by a_olympia and 1 other person on 2007-08-18 13:22:24
  | URL | BibTeX  
• How to design programs: an introduction to programming and computing
  Matthias Felleisen and Robert B. Findler and Matthew Flatt and Shriram Krishnamurthi (2001)
  to design program by a_olympia on 2007-08-18 13:22:24
  | URL | BibTeX