Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 6 Treffer
- ccs concepts: • theory of computation → functional constructs 3 Treffer
- ccs concepts: • theory of computation → type theory 3 Treffer
- efects 3 Treffer
-
27 weitere Werte:
- exceptions 3 Treffer
- functional constructs 3 Treffer
- parametricity 3 Treffer
- stat 3 Treffer
- constructive mathematics 2 Treffer
- edu 2 Treffer
- type theory 2 Treffer
- [info]computer science [cs] 1 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 1 Treffer
- anthro-se 1 Treffer
- automated reasoning 1 Treffer
- computability theory 1 Treffer
- constructive logic 1 Treffer
- coq 1 Treffer
- coq proof assistant 1 Treffer
- dependent types 1 Treffer
- formalisation 1 Treffer
- info 1 Treffer
- interactive theorem proving 1 Treffer
- logic 1 Treffer
- logic and verification 1 Treffer
- modal logic 1 Treffer
- program verification 1 Treffer
- proof theory 1 Treffer
- separation logic 1 Treffer
- socio 1 Treffer
- translation 1 Treffer
Verlag
Sprache
Geographischer Bezug
8 Treffer
-
In: CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-03891390 ; CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. pp.1-8, ⟨10.1145/3573105.3575690⟩, 2023Online KonferenzZugriff:
-
In: International Conference on Functional Programming (ICFP 2018) ; https://hal.science/hal-01898522 ; International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩ ; https://conf.researchr.org/home/icfp-2018, 2018Online KonferenzZugriff:
-
In: CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/hal-01849166 ; CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Lisbonne, Portugal. pp.91-103, ⟨10.1145/3293880.3294095⟩ ; https://popl19.sigplan.org/track/CPP-2019, 2019Online KonferenzZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.inria.fr/hal-02189128, 2019Online academicJournalZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-02189128 ; Proceedings of the ACM on Programming Languages, 2019, Issue ICFP, 3, pp.1-29. ⟨10.1145/3341712⟩, 2019Online academicJournalZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.inria.fr/hal-02189128, 2019Online academicJournalZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.archives-ouvertes.fr/hal-03510684, 2021academicJournalZugriff:
-
2017Online academicJournalZugriff: