Page history
5 August 2011
28 June 2011
2 May 2010
26 April 2010
12 March 2010
7 December 2009
→Prolog
+258
→Prolog
+28
→Prolog
+27
→Prolog
+1
→Prolog
+78
→Prolog
+723
→Logic Programming
+550
→Logic Programming
+863
→Typing
+82
→Typing
−6
→Typing
+436
→Typing
+61
→Typing
+4
→Typing
+129
→Typing
+303
→Typing
+313
→Typing
+150
no edit summary
+81
no edit summary
+67
→Typed Functional Programming
+2
→Typed Functional Programming
−55
→Typed Functional Programming
+73
→Typed Functional Programming
+6
→Typed Functional Programming
+108
→Typed Functional Programming
−4
→Objects
−6
no edit summary
+32
→Concurrency
+2
→Typed Functional Programming
→Typed Functional Programming
+263
→Typing
+242
→Typing
+334
→Nondeterminism=
−1
→Constraint Programming
+81
no edit summary
+6
→Concurrency
+65
→Semantics
−2
→Semantics
+189
→Typed Functional Programming
−12
→Typed Functional Programming
+129
→Typed Functional Programming
+45
→Typed Functional Programming
+46
→Typed Functional Programming
+47
