Results 1 - 20 of 7,894 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Peer-reviewed Journals (167)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)Logical methods in computer science, 2022-02, Vol.16, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(1:15)2020Full text available |
| 2 |
Material Type: Article
|
|
Higher Order Automatic Differentiation of Higher Order Functionsinfo:eu-repo/semantics/OpenAccess ;ISSN: 1860-5974 ;EISSN: 1860-5974Full text available |
| 3 |
Material Type: Article
|
|
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation LogicLogical methods in computer science, 2022-06, Vol.18, Issue 2 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(2:16)2022Full text available |
| 4 |
Material Type: Article
|
|
Handling Algebraic EffectsLogical methods in computer science, 2013-12, Vol.9, Issue 4 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-9(4:23)2013Full text available |
| 5 |
Material Type: Article
|
|
Deconfined Global Types for Asynchronous SessionsLogical methods in computer science, 2023-01, Vol.19, Issue 1 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(1:3)2023Full text available |
| 6 |
Material Type: Article
|
|
Separating Sessions SmoothlyLogical methods in computer science, 2023-01, Vol.19, Issue 3 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(3:3)2023Full text available |
| 7 |
Material Type: Article
|
|
Monads need not be endofunctorsLogical methods in computer science, 2015-03, Vol.11, Issue 1 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-11(1:3)2015Full text available |
| 8 |
Material Type: Article
|
|
Relational $\star$-Liftings for Differential PrivacyLogical methods in computer science, 2019-12, Vol.15, Issue 4 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-15(4:18)2019Full text available |
| 9 |
Material Type: Article
|
|
Galois connecting call-by-value and call-by-nameLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.46298/lmcs-20(1:13)2024Full text available |
| 10 |
Material Type: Article
|
|
revTPL: The Reversible Temporal Process LanguageLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.46298/lmcs-20(1:11)2024Full text available |
| 11 |
Material Type: Article
|
|
Exponentials as Substitutions and the Cost of Cut Elimination in Linear LogicLogical methods in computer science, 2023-12, Vol.19, Issue 4 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(4:23)2023Full text available |
| 12 |
Material Type: Article
|
|
Higher Order Automatic Differentiation of Higher Order FunctionsLogical methods in computer science, 2022-01, Vol.18, Issue 1 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(1:41)2022Full text available |
| 13 |
Material Type: Article
|
|
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD LibraryLogical methods in computer science, 2023-10, Vol.19, Issue 4 (4) [Peer Reviewed Journal]Attribution ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(4:5)2023Full text available |
| 14 |
Material Type: Article
|
|
Java Lambda: a Featherweight StoryLogical methods in computer science, 2018-09, Vol.14, Issue 3 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-14(3:17)2018Full text available |
| 15 |
Material Type: Article
|
|
A Natural Formalized Proof Languagehttp://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2405.07973Digital Resources/Online E-Resources |
| 16 |
Material Type: Article
|
|
Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworkshttp://creativecommons.org/licenses/by-sa/4.0 ;DOI: 10.48550/arxiv.2405.06505Digital Resources/Online E-Resources |
| 17 |
Material Type: Article
|
|
The Fearless Journey [Draft]http://creativecommons.org/licenses/by-sa/4.0 ;DOI: 10.48550/arxiv.2405.06233Digital Resources/Online E-Resources |
| 18 |
Material Type: Article
|
|
Robustness Against Transactional Causal ConsistencyLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:12)2021Full text available |
| 19 |
Material Type: Article
|
|
Solvability = Typability + InhabitationLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:7)2021Full text available |
| 20 |
Material Type: Article
|
|
Denotation-based Compositional Compiler Verificationhttp://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2404.17297Digital Resources/Online E-Resources |
Results 1 - 20 of 7,894 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Peer-reviewed Journals (167)
Refine My Results
Creation Date
- Before 2000 (28)
- 2000 To 2005 (286)
- 2006 To 2011 (817)
- 2012 To 2018 (2,630)
- After 2018 (4,138)
-
More options
New Records
- New From Last Week (11)
- New From Last Month (64)
- New From Last 3 Month (237)
-
More options
Resource Type
- Articles (7,841)
- Thesises (postgraduate) (36)
- Books (8)
- Conference Proceedings (7)
- Reports (1)
- Reviews (1)
-
More options
Subject
- Computer Science - Programming Languages (7,843)
- Computer Science - Logic In Computer Science (1,998)
- Programming Languages (1,273)
- Semantics (1,267)
- Computer Science - Software Engineering (1,208)
- Algorithms (1,010)
- Computer Science - Learning (622)
- Computer Science - Artificial Intelligence (584)
- Computer Science - Distributed, Parallel, And Cluster Computing (474)
- Program Verification (380)
- Java (378)
- Optimization (371)
- Logic Programming (349)
- Computer Science - Cryptography And Security (346)
- Compilers (325)
- Source Code (305)
- Machine Learning (297)
- Data Structures (284)
- Mathematical Analysis (277)
- Logic (277)
-
More options
Databases
- arXiv.org (7,678)
- ROAD: Directory of Open Access Scholarly Resources (6,046)
- ProQuest Central (5,881)
- Freely Accessible Journals (5,881)
- DOAJ Directory of Open Access Journals (165)
- Brage Consortium Repository (25)
- Hyper Article en Ligne (HAL) (Open Access) (21)
- NORA - Norwegian Open Research Archives (19)
- Coronavirus Research Database (6)
- Bergen Open Research Archive (BORA) (3)
- SWEPUB Freely available online (3)
- DOAB: Directory of Open Access Books (2)
- MIT Press Direct OA (1)
- ScholarVox International (1)
- Utrecht University Repository (1)
- Ebook Central - Academic Complete (1)
-
More options
Language
- English (7,879)
- Norwegian (15)
- Japanese (11)
- Bokmål, Norwegian (8)
-
More options
Journal Title
- Archivio Istituzionale Della Ricerca (1)
- Arxiv (2,662)
- arXiv.org (5,876)
- Data Archiving And Networked Services (1)
- Doaj (7)
- Drops (1)
- Dspace@mit (1)
- Hal (8)
- Logical Methods In Computer Science (164)
- Oxford University Research Archive (2)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||