Results 1 - 20 of 7,940 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
|
|
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and BeyondLogical methods in computer science, 2022-10, Vol.18, Issue 4 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(4:2)2022Full text available |
| 10 |
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 |
| 11 |
Material Type: Article
|
|
revTPL: The Reversible Temporal Process LanguageLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-20(1:11)2024Full text available |
| 12 |
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 |
| 13 |
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 |
| 14 |
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 |
| 15 |
Material Type: Article
|
|
Incremental units-of-measure verificationhttp://creativecommons.org/licenses/by-sa/4.0 ;DOI: 10.48550/arxiv.2406.02174Digital Resources/Online E-Resources |
| 16 |
Material Type: Article
|
|
Going Bananas! - Unfolding Program Synthesis with Origamihttp://creativecommons.org/licenses/by-nc-sa/4.0 ;DOI: 10.48550/arxiv.2406.01500Digital Resources/Online E-Resources |
| 17 |
Material Type: Article
|
|
Corps: A Core Calculus of Hierarchical Choreographic Programminghttp://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2406.01456Digital Resources/Online E-Resources |
| 18 |
Material Type: Article
|
|
The SemGuS Toolkithttp://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2406.01792Digital Resources/Online E-Resources |
| 19 |
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 |
| 20 |
Material Type: Article
|
|
An Iris for Expected Cost Analysishttp://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.2406.00884Digital Resources/Online E-Resources |
Results 1 - 20 of 7,940 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 (283)
- 2006 To 2011 (812)
- 2012 To 2018 (2,622)
- After 2018 (4,200)
-
More options
New Records
- New From Last Week (9)
- New From Last Month (79)
- New From Last 3 Month (234)
-
More options
Resource Type
- Articles (7,901)
- Thesises (postgraduate) (22)
- Books (8)
- Conference Proceedings (7)
- Reports (1)
- Reviews (1)
-
More options
Subject
- Computer Science - Programming Languages (7,903)
- Computer Science - Logic In Computer Science (2,004)
- Programming Languages (1,543)
- Semantics (1,493)
- Algorithms (1,230)
- Computer Science - Software Engineering (1,221)
- Computer Science - Learning (635)
- Computer Science - Artificial Intelligence (599)
- Computer Science - Distributed, Parallel, And Cluster Computing (480)
- Optimization (471)
- Compilers (421)
- Program Verification (417)
- Machine Learning (386)
- Java (380)
- Source Code (376)
- Logic Programming (372)
- Data Structures (345)
- Computer Science - Cryptography And Security (343)
- Mathematical Analysis (334)
- Synthesis (318)
-
More options
Databases
- arXiv.org (7,738)
- ROAD: Directory of Open Access Scholarly Resources (7,259)
- ProQuest Central (7,094)
- Freely Accessible Journals (7,094)
- DOAJ Directory of Open Access Journals (165)
- Hyper Article en Ligne (HAL) (Open Access) (22)
- NORA - Norwegian Open Research Archives (19)
- Brage Consortium Repository (11)
- Coronavirus Research Database (7)
- 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,932)
- Japanese (11)
- Norwegian (8)
- Bokmål, Norwegian (4)
-
More options
Journal Title
- Archivio Istituzionale Della Ricerca (1)
- Arxiv (2,664)
- arXiv.org (7,086)
- 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 | ||