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 - Vákár, Matthijs I. L.
Search Results - Vákár, Matthijs I. L.
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Efficient CHAD
by
Smeding, Tom J.
,
Vákár, Matthijs I. L.
Published in
Proceedings of ACM on programming languages
Get full text
Items that this one cites
Article
Save to List
Saved in:
2
Loading…
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations
by
Smeding, Tom J.
,
Vákár, Matthijs I. L.
Published in
Proceedings of ACM on programming languages
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
Proceedings Of Acm On Programming Languages
2 results
2
Subjects
Automatic Differentiation
2 results
2
Correctness
2 results
2
Functional Languages
2 results
2
Mathematics Of Computing
2 results
2
Software And Its Engineering
2 results
2
Computer Science
1 results
1
Computer Science, Software Engineering
1 results
1
Functional Programming
1 results
1
Science & Technology
1 results
1
Source Transformation
1 results
1
Technology
1 results
1
Year of Publication
From:
To:
Source
Acm Digital Library
2 results
2
Road: Directory Of Open Access Scholarly Resources
2 results
2
Ezb Electronic Journals Library
2 results
2