First Page | Document Content | |
---|---|---|
![]() Date: 2011-11-25 05:39:14Functional programming Data types Parametricity Generic programming Functional languages Type class Polymorphism Id Theorem Software engineering Type theory Computing | Add to Reading List |
![]() | Rethinking Verifiably Encrypted Signatures: A Gap in Functionality and Potential Solutions SESSION ID: •DocID: 1xW0B - View Document |
![]() | https://wilhelm.hr4you.org/generator.php?id=1763&lang=deDocID: 1xVW8 - View Document |
![]() | Schweizerischer Verband der Telekommunikation | Association Suisse des Télécommunications | Swiss Telecommunications Association Medienmitteilung Vernehmlassung E-ID-GesetzDocID: 1xVQy - View Document |
![]() | DOC DocumentDocID: 1xVI8 - View Document |
![]() | DOC DocumentDocID: 1xVzN - View Document |