This is a list of publications citing λδ documentation.
@@ -136,7 +136,7 @@
-
C. Dunchev, F. Guidi, C. Sacerdoti Coen, E. Tassi:
- ELPI: fast, Embeddable, λProlog Interpreter
+ ELPI: Fast, Embeddable, λProlog Interpreter
(2015). In proc. of LPAR 20. Lecture Notes in Computer Science, 9450, pp. 460-468. Springer.
@@ -183,11 +183,11 @@
-
Disclaimer
![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b9.png)
+
Disclaimer
- The systens of the λδ family are not related intentionally to any other system
- having (variations of) the symbols λ and δ in its name or syntax.
+ The systens of the λδ family are not related intentionally to
+ any other system having (variations of) the symbols λ and δ in its name or syntax.
Examples include (but are not limited to):
-
- λâ
+ λâ
of
N.J. Rehof, M.H. Sørensen:
- The λâ-calculus
+ The λâ-calculus
(1994).
In Lecture Notes in Computer Science, 789, pp. 516â542.
Springer.
@@ -250,8 +250,15 @@
Eindhoven University of Technology, Eindhoven.
+
+
![Smile! [Smiling face]](http://lambdadelta.info/images/smile.png)
+ Moreover, the systens of the λδ family
are not related intentionally to
+
Lady Lambdadelta,
+ the Witch of Certainty of the sound novel
+
Umineko no Naku Koro ni.
+
-
![lambdadelta rainbow rule [Spacer]](http://lambdadelta.info/images/rainbow.png)
+
@@ -276,6 +283,6 @@
-
Last update: Wed, 30 Dec 2015 14:56:06 +0100
+
Last update: Sun, 22 May 2016 15:25:26 +0200