Showing
1 - 2
results of
2
for search '
"epigram"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
Theory Dependent types
Reset Filters
Show filters (1)
Topic:
Theory Dependent types
Search Results - Open Polar - "epigram"
Search Results
Showing
1 - 2
results of
2
for search '
"epigram"
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Please enable Javascript.
Please upgrade your browser.
What am I looking at?
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Text
2
Author
Jianzhou Zhao
2
Limin Jia
2
Stephanie Weirich
2
Vilhelm Sjöberg
2
see all ...
Topic
Categories and Subject Descriptors D.3.1 [Programming Languages
2
Formal Definitions and Theory General Terms Keywords Design
2
Languages
2
Program equivalence
2
Theory Dependent types
see all ...
Content Provider
Unknown
2
Geographic location
Haskell
2
Language
English
2
Open Polar Keyword
DML
2
Loading...