Oktober 2016 Archiv

Depending on Traditions.

  • 2016-10-21

Determinacy would probably be a better term for this notion, but we stick to dependency for the sake of consistency with the existing literature.

Ivano Ciardelli: Questions as information types

Made Up Stuff.

  • 2016-10-20

“Most of you use languages that were invented, and you can tell, can’t you. This is my invitation to you to use programming languages that are discovered.”

Philip Wadler: Propositions as Types

Ambiguity_Linguistics.

  • 2016-10-19

Some words should be written with an index of the field they are coming from, "seriality" for example.

Olaf.

  • 2016-10-18

OLAF investigates fraud against the EU budget, corruption and serious misconduct within the European institutions, and develops anti-fraud policy for the European Commission.

European Commission: European Anti-Fraud Office

Oh, that guy?

Sitzkarriere.

  • 2016-10-17

Lieblingssportart Zungenküssen

Schnipo Schranke: Schnipo - Song