Prof. Dr. Guido Salvaneschi | Programming Grouphttps://programming-group.com/members/salvaneschi
Salvaneschi Head of the Programming Group guido.salvaneschi@unisg.ch guido-salvaneschi-7201668 0000-0002-9324-8894 guidosalva School of Computer Science Office 64-114 Torstrasse 2
Profile of Prof. Dr. Guido Salvaneschi, Head of the Programming Group.
NLnet; All projectshttps://nlnet.nl/project/index.html
2024 Purely functional programming language designed to "type" binary files Arkin NGI0 Commons Fund 2026 Optical Tweezers Microscope Armbian User-operated Internet Fund 2021 Versa
Why did Prolog lose steam? | Mark J. Nelsonhttps://www.kmjn.org/notes/prolog_lost_steam.html
, asks: of the major programming traditions—imperative, functional, object-oriented, and logic—why did the logic-programming one, exemplified by Prolog, more or less d
Its declarative lunch was partly eaten
T3X.ORG indexhttp://t3x.org/
Books | Programming | Papers & Essays | Sci-Fi | Retro | Attic Absolutely No AI on this homepage Books I'
FOSDEM 2017 - Sundayhttps://archive.fosdem.org/2017/schedule/day/sunday/
with Guile Asynchronous programming with Coroutines in Python Success and Failure in Building an Open-Source Software Platform for Autonomous Driving Systems PGP Keysigning zeroca
The Early History Of Smalltalkhttps://worrydream.com/EarlyHistoryOfSmalltalk/
Music Byte Codes Iconic Programming IV. 1972-76—Xerox PARC: The first real Smalltalk (-72) 17 The two bets: birth of Smalltalk and Interim Dynabook Smalltalk-72 Principles T
2019 - Strange Loophttps://thestrangeloop.com/2019/sessions.html
University How to teach programming (and other things)? Felienne Hermans Leiden University Closing Keynote Imogen Heap Talks Building a Unified Cancer Immunotherapy Data Library L
Strange Loop is a conference for software developers covering programming langs, databases, distributed systems, security, machine learning, creativity, and more!
Metadata Activityhttps://www.w3.org/Metadata/Activity
through various programming mechanisms, a tag for a property name can use a short code which signals to which specific application vocabulary that tag "belongs". The " Namespaces
Mathematical theory of classification (IEKO)https://www.isko.org/cyclo/mathematical_theory_of_classification.htm
Journal of Parallel Programming 11, no. 5: 341–56. Peano, Giuseppe. 1890. "Sur une courbe, qui remplit toute une aire plane". Mathematische Annalen 36, no. 1: 157-60. Pierce, Russ
One of the main topics of scientific research, classification, is the operation consisting of distributing objects in classes or groups which are, in general, less numerous than th
https://www.rfc-editor.org/rfc/rfc959.txthttps://www.rfc-editor.org/rfc/rfc959.txt
code, and modular programming argue for the second approach. Efficiency and independence Postel & Reynolds [Page 9] RFC 959 October 1985 File Transfer Protocol argue for the fir
https://www.humprog.org/~stephen/https://www.humprog.org/~stephen/
has mostly focused on programming languages and the systems that support them—including language runtimes and operating systems. Micro-blog and calendar October 2026. Enjoye
Find more...