Showing
1 - 20
results of
36
for search '
"Functional programming"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Search Results - Open Polar - "Functional programming"
Search Results
Showing
1 - 20
results of
36
for search '
"Functional programming"
'
, query time: 1.63s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Compiling a synchronous programming language into field programmable gate arrays
Get access
Under consideration for publication in J.
Functional
Programming
1 Dependent ML: An Approach to Practical Programming with Dependent Types
Get access
Get access
Cost recurrences for DML programs
Get access
Get access
Cost recurrences for DML programs
Get access
Get access
Arctic
Get access
Get access
Dependent ML An approach to practical programming with dependent types
Get access
Get access
An insider's look at LF type reconstruction: everything you (n)ever wanted to kn...
Get access
Get access
Imperative Programming with Dependent Types
Get access
Get access
POPLMark reloaded: Mechanizing proofs by logical relations
Get access
Get access
Imperative Programming with Dependent Types (Extended Abstract)
Get access
Get access
Dead Code Elimination through Dependent Types
Get access
Get access
POPLMark reloaded: Mechanizing proofs by logical relations
Get access
Get access
Title not available
Get access
Get access
CPS Transform and Type Derivations in Dependent ML (Extended Abstract)
Get access
Get access
CPS Transform for Dependent ML
Get access
Get access
Some Practical Aspects of Dependent Datatypes
Get access
Get access
Programming with Dependently Typed Data Structures ∗
Get access
Get access
Dependently Typed Pattern Matching
Get access
Get access
Dependently typed pattern matching
Get access
Get access
Some Practical Aspects of Dependent Datatypes
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
Next
Last
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Text
20
Article in Journal/Newspaper
6
Conference Object
5
Report
2
Bachelor Thesis
1
Dataset
1
Thesis
1
see all ...
Author
Hongwei Xi
14
Wu, Hanwen
6
Xi, Hongwei
6
Blair, William
3
PIENTKA, BRIGITTE
3
Ren, Zhiqiang
3
ABEL, ANDREAS
2
ALLAIS, GUILLAUME
2
Carsten Schürmann
2
Grobauer, Bernd
2
HAMEER, ALIYA
2
MOMIGLIANO, ALBERTO
2
SCHÄFER, STEVEN
2
STARK, KATHRIN
2
Almeida, Mariana
1
C. B. Jay
1
Company, Joan B.
1
Cunha, Marina R.
1
Dannenberg, Roger B.
1
Demestre, Montserrat
1
Lampadariou, N.
1
Licata, Daniel R.
1
Muntadas, Alba
1
Novak, Luka
1
P. A. Steckler
1
Shen, Ying, 1964-
1
Simon Brock
1
XI, HONGWEI
1
de Juan, Silvia
1
see all ...
Topic
CPS transform
2
Computer Science - Programming Languages
2
Dependent ML
2
FOS Computer and information sciences
2
Programming Languages cs.PL
2
*COMPUTER LOGIC
1
*COMPUTER PROGRAM VERIFICATION
1
Biological traits
1
Biosphere | Zoology | Corals
1
Bottom fisheries
1
C
1
CATEGORY THEORY
1
COASTAL PROCESSES
1
CONDUCTIVITY
1
Canyons
1
Compilation certication
1
Compilation certification
1
Computer Programming and Software
1
Computer Science - Logic in Computer Science
1
Computer Systems Management and Standards
1
Computer hardware description languages
1
Contents
1
DATA PROCESSING SECURITY
1
DOMAIN SPECIFIC LOGICS
1
DTT(DIRECTED TYPE THEORY)
1
Deep-sea
1
Disturbance
1
Diversity
1
Dredging
1
EARTH SCIENCE
1
see all ...
Content Provider
Unknown
17
ACM Publications (Association for Computing Machinery)
3
Cambridge University Press
3
ArXiv.org (Cornell University Library)
2
Boston University: OpenBU
2
DataCite Metadata Store (German National Library of Science and Technology)
2
Digital.CSIC (Spanish National Research Council)
2
Croatian Digital Theses Repository (National and University Library in Zagreb)
1
Defense Technical Information Center: DTIC Technical Reports database
1
Memorial University of Newfoundland: Digital Archives Initiative (DAI)
1
Research Data Australia (Australian National Data Service - ANDS)
1
The University of Milan: Archivio Istituzionale della Ricerca (AIR)
1
see all ...
Geographic location
Haskell
10
Lambda
7
Norway
2
Tromsø
2
Harper
1
King Bay
1
Koda
1
Lewis Island
1
Malus
1
Malus Island
1
Merz
1
Sinclair
1
Tofte
1
see all ...
Language
English
25
unknown
10
Croatian
1
Open Polar Keyword
DML
24
Beluga
4
Beluga*
4
Tromsø
2
Arctic
1
Lewis Island
1
Malus Island
1
Newfoundland studies
1
The Pointers
1
Turbot
1
University of Newfoundland
1
sami
1
see all ...
Loading...