11 Results for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Refined by:
language:
Japanese
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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 |
| 2 |
Material Type: Article
|
|
A Functional Abstraction of Typed Invocation ContextsLogical methods in computer science, , Vol.18, Issue 3 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(3:34)2022Full text available |
| 3 |
Material Type: Article
|
|
Inferring Algebraic EffectsLogical methods in computer science, , Vol.10, Issue 3 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-10(3:21)2014Full text available |
| 4 |
Material Type: Article
|
|
Adaptable processesLogical methods in computer science, 2012-01, Vol.8, Issue 4 (4:13), p.1-71 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-8(4:13)2012Full text available |
| 5 |
Material Type: Article
|
|
CFA2: a Context-Free Approach to Control-Flow AnalysisLogical methods in computer science, , Vol.7, Issue 2 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-7(2:3)2011Full text available |
| 6 |
Material Type: Article
|
|
Linear Dependent Types and Relative CompletenessLogical methods in computer science, 2012-01, Vol.8, Issue 4 (4) [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-8(4:11)2012Full text available |
| 7 |
Material Type: Article
|
|
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-CalculusLogical methods in computer science, , Vol.7, Issue 4 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-7(4:9)2011Full text available |
| 8 |
Material Type: Article
|
|
A Logical Foundation for Environment ClassifiersLogical methods in computer science, 2010-12, Vol.6, Issue 4 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-6(4:8)2010Full text available |
| 9 |
Material Type: Article
|
|
An Operational Foundation for Delimited Continuations in the CPS HierarchyLogical methods in computer science, 2005-01, Vol.1, Issue 2 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-1(2:5)2005Full text available |
| 10 |
Material Type: Article
|
|
Call-by-value Termination in the Untyped lambda-calculusLogical methods in computer science, 2008-03, Vol.4, Issue 1 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-4(1:3)2008Full text available |
| 11 |
Material Type: Article
|
|
Relational Parametricity for Computational EffectsLogical methods in computer science, 2009-08, Vol.5, Issue 3 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-5(3:7)2009Full text available |
Personalize your results
Refine Search Results
Expand My Results
Refine My Results
Creation Date
- Before 2008 (2)
- 2008 To 2009 (2)
- 2010 To 2011 (2)
- 2012 To 2014 (5)
- After 2014 (1)
-
More options
Subject
- Computer Science (10)
- Computer Science, Theory & Methods (10)
- General Computer Science (10)
- Science & Technology (10)
- Technology (10)
- Logic (10)
- Science & Technology - Other Topics (10)
- Theoretical Computer Science (10)
- Computer Science - Logic In Computer Science (7)
- F.3.2 (4)
- Algebraic Effects (2)
- Cognitive Science (2)
- Delimited Continuations (2)
- Control Operators (1)
- Adaptation (1)
- Control-Ow Analysis (1)
- Control And Prompt (1)
- Abstract Machines (1)
- Computational Effects (1)
-
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 | ||