User:Ruud Koot/Computer science

From Wikipedia, the free encyclopedia
Jump to: navigation, search


Computational complexity[edit]

Computational geometry[edit]

Garbage collection (computer science)[edit]

Data structures[edit]

Programming language theory[edit]

Formal systems[edit]

Lambda calculus[edit]

First-class function[edit]

Denotational semantics[edit]

Dependent types[edit]

Total languages[edit]

Functional programming[edit]



Dependently-typed programming[edit]

Proof assistants[edit]

Object-oriented programming[edit]

Type theory[edit]

Functional data structures[edit]


functional programming object-oriented programming
ad-hoc polymorphism overloading (function overloading, operator overloading)
parametric polymorphism generic programming
subtype polymorphism, inclusion polymorphism polymorphism
(datatype) generic programming

Homotopy type theory[edit]

Type system[edit]

Program analysis[edit]

Type and effect system[edit]

Non-standard type systems[edit]

Category theory[edit]

Programming language design[edit]

Programming languages[edit]

Early languages[edit]
Type theory-based[edit]

Design patterns[edit]



Term rewriting[edit]





Quantum information science[edit]



Computers scientists[edit]

User:Ruud Koot/Dutch computer scientists

By bibliometrics[edit]


Find some reliable sources about popularity and prestige (e.g. the refs in Journal of the ACM)
Wikipedia:WikiProject Academic Journals/Danish journal list/38
Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/A3
Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/Missing1

Books and series[edit]

Conferences and symposia[edit]

Create a navigation box (per subject, per organizer)
List of computer science conferences
   Symposium on Principles of Programming Languages (POPL)
   Practical Aspects of Declarative Languages (PADL)
   Partial Evaluation and Program Manipulation (PEPM)
   International Conference on Functional Programming (ICFP)
   Implementation of Functional Languages (IFL)
   Programming Language Design and Implementation (PLDI)
   European Symposium on Programming (ESOP)
   Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)
   European Conference on Object-Oriented Programming (ECOOP)
   Foundations of Object-Oriented Languages (FOOL)
   International Conference on Software Testing, Verification and Validation (ICST)
   International Symposium on Software Testing and Analysis (ISSTA)
   Software Engineering and Formal Methods (SEFM)
   Foundations of Software Engineering (FSE)
   International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
   International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)



Category:Computer science awards[edit]

History of computer science[edit]

Early academic research and education[edit]

  • William F. Atchison, Samuel D. Conte, John W. Hamblen, Thomas E. Hull, Thomas A. Keenan, William B. Kehl, Edward J. McCluskey, Silvio O. Navarro, Werner C. Rheinboldt, Earl J. Schweppe, William Viavant, David M. Young: Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science. Commun. ACM 11(3): 151-197 (1968)
  • Samuel D. Conte, John W. Hamblen, William B. Kehl, Silvio O. Navarro, Werner C. Rheinboldt, David M. Young, William F. Atchison: An undergraduate program in computer science - preliminary recommendations. Commun. ACM 8(9): 543-552 (1965)
  • Norman E. Gibbs


  • Improve {{Infobox scientist}}
    • dissertation_title
    • structured students (name, year, university)
    • structured institutions (name, period, position)
    • structured awards (name, year)
  • exchange data with:
    • DBLP
    • Mathematics genealogy
    • ACM Digital Library
  • {{WikiProject Computing|class=stub|importance=low||science=yes|science-importance=low}}
    • Find and fix dual-tagged articles (e.g. "Computer science" and "Databases / Computer science", which really should be "Computer science / Databases") which causes assessment problems [5]



  • How to deal with broken source code: [11] [12]
    1. How can we make sure pseudocode is correct?
      • Have a an obviously equivalent implementation.
      • Make pseudocode more difficult to edit, but easier to comment on. (Transclude via template, edit notices)
      • Make it easier to attribute pseudocode to a reliable source.
    2. How can we make pseudocode more useful?
      • Provide a visible link to a library of implementations.
    3. How can we use Lua/Scribunto/other extenstions?
      • Make pseudocode interactive.
      • Advanced typesetting/syntax highlighting.
  • Manual of Style: algorithms vs. programming language concepts
    • Algorithms: add some great examples of pseudocode on Wikipedia and in literature
    • Programming language concepts: promote the use of structured tables (á la First-class function, Function type and (soon) Anonymous function)
      • Also, nicer styling for GeSHi and pre
  • Linking to implementations
    • Write guideline
      • Describe problems
        • Incompetent spam cleaners
    • WikiBooks vs. Rosetta Code vs. Literate vs. Git(Hub)
    • Link through template


Task forces[edit]

Name Stub
Computer science {{comp-sci-stub}}
Biographies {{compu-scientist-stub}}
Theoretical computer science {{comp-sci-theory-stub}}
Algorithms and data structures {{algorithm-stub}} {{datastructure-stub}}
Formal methods {{formalmethods-stub}}
Programming language theory {{plt-stub}}
Computer programming {{compu-prog-stub}} {{prog-lang-stub}} {{markup-languages-stub}} {{programming-software-stub}} {{software-eng-stub}} {{uml-stub}}
Databases, data mining and information retrieval {{database-stub}} {{biodatabase-stub}}
Operating systems {{operating-system-stub}}
Artificial intelligence {{compu-AI-stub}}
Cryptography {{crypto-stub}}

See also[edit]

External links[edit]