Showing
1 - 2
results of
2
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - TAKIKAWA, ASUMU
Search Results - TAKIKAWA, ASUMU
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
How to evaluate the performance of gradual type systems
by
GREENMAN, BEN
,
TAKIKAWA, ASUMU
,
NEW, MAX S.
,
FELTEY, DANIEL
,
FINDLER, ROBERT BRUCE
,
VITEK, JAN
,
FELLEISEN, MATTHIAS
Published in
Journal of functional programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Contracts for First-Class Classes
by
Strickland, T. Stephen
,
Dimoulas, Christos
,
Takikawa, Asumu
,
Felleisen, Matthias
Published in
ACM transactions on programming languages and systems
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
2 results
2
Full Text
2 results
2
Format
Articles
2 results
2
Journal Title
Acm Transactions On Programming Languages And Systems
1 results
1
Journal Of Functional Programming
1 results
1
Subjects
Computer Science
2 results
2
Computer Science, Software Engineering
2 results
2
Science & Technology
2 results
2
Technology
2 results
2
Applied Sciences
1 results
1
Architecture
1 results
1
Artificial Intelligence
1 results
1
Computer Science; Control Theory; Systems
1 results
1
Computer Systems And Distributed Systems. User Interface
1 results
1
Contracts
1 results
1
Cross-Computing Tools And Techniques
1 results
1
Exact Sciences And Technology
1 results
1
First-Class Class Systems
1 results
1
Formal Language Definitions
1 results
1
General And Reference
1 results
1
General Programming Languages
1 results
1
Language Types
1 results
1
Measurement Methods
1 results
1
Object Oriented Languages
1 results
1
Performance Evaluation
1 results
1
Year of Publication
From:
To:
Source
Cambridge University Press:jisc Collections:full Collection Digital Archives (Stm And Hss) (218 Titles)
1 results
1
Acm Digital Library Complete
1 results
1
Cambridge Journals Online
1 results
1
Business Source Ultimate
1 results
1
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
1 results
1
Cambridge Journals Digital Archive: All To End 2021 Full Collection
1 results
1
Electronic Journals Library
1 results
1