Showing
1 - 7
results of
7
for search '
"Postscript"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Geographic location:
Haskell
Reset Filters
Show filters (1)
Geographic location:
Haskell
Search Results - Open Polar - "Postscript"
Search Results
Showing
1 - 7
results of
7
for search '
"Postscript"
'
, query time: 0.18s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
Some Practical Aspects of Dependent Datatypes
by
Hongwei Xi
Get access
Get access
Text
Select result number 2
2
Some Practical Aspects of Dependent Datatypes
by
Hongwei Xi
Published 1999
Get access
Get access
Text
Select result number 3
3
Dependently Typed Pattern Matching
by
Hongwei Xi
Published 2003
Get access
Get access
Text
Select result number 4
4
The Functional Imperative: Shape!
by
C. B. Jay
,
P. A. Steckler
Published 1997
Get access
Get access
Text
Select result number 5
5
Dead Code Elimination through Dependent Types
by
Hongwei Xi
Published 1999
Get access
Get access
Text
Select result number 6
6
A Schema for Adding Dependent Types to ML
by
Hongwei Xi
,
Frank Pfenning
Published 1997
Get access
Get access
Text
Select result number 7
7
A Type-preserving Interpreter for Simply Typed Lambda-Calculus
by
Hongwei Xi
Get access
Get access
Text
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
7
Author
Hongwei Xi
6
C. B. Jay
1
Frank Pfenning
1
P. A. Steckler
1
see all ...
Content Provider
Unknown
7
Geographic location
Haskell
Harper
1
Lambda
1
Tofte
1
see all ...
Language
English
7
Open Polar Keyword
DML
6
Turbot
1
Loading...