Showing
1 - 20
results of
143
for search '
ML (programming language)
'
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 - ML (programming language)
Search Results
Showing
1 - 20
results of
143
for search '
ML (programming language)
'
, query time: 0.29s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Dependent
ML
An approach to practical
programming
with dependent types
Get access
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
A core generic meta-model for aspect-oriented
programming
languages
Get access
Recommender Systems for DevOps
Get access
Get access
ABSTRACT Implementing Typeful
Program
Transformations ∗
Get access
Get access
CPS Transform for Dependent
ML
Get access
Get access
Dependent Types for Multi-Rate Flows in Synchronous
Programming
Get access
Get access
A Schema for Adding Dependent Types to
ML
Get access
Get access
A Schema for Adding Dependent Types to
ML
∗
Get access
Get access
A Schema for Adding Dependent Types to
ML
Get access
Get access
Dependent Types for Multi-Rate Flows in Synchronous
Programming
Get access
Get access
Imperative
Programming
with Dependent Types
Get access
Get access
CPS Transform and Type Derivations in Dependent
ML
(Extended Abstract)
Get access
Get access
Programming
with Dependently Typed Data Structures ∗
Get access
Get access
Programming
with Dependently Typed Data Structures ∗
Get access
Get access
Dependent Types in Practical
Programming
(Extended Abstract)
Get access
Get access
Dependent Types in Practical
Programming
(Extended Abstract)
Get access
Get access
Imperative
Programming
with Dependent Types (Extended Abstract)
Get access
Get access
Dependent Types in Practical
Programming
(Extended Abstract)
Get access
Get access
Binders unbound
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
3
4
5
6
7
8
Next
Last
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Text
60
Journal/Newspaper
36
Other/Unknown Material
21
Article in Journal/Newspaper
13
Thesis
4
Conference Object
1
Doctoral or Postdoctoral Thesis
1
see all ...
Author
Hongwei Xi
30
Magrath Trading Store
19
Frank Pfenning
8
Lethbridge Collegiate Institute
7
Bexar Audubon Society
5
Xi, Hongwei
5
Atsushi Ohori
4
Champion Paper and Fibre Company;
4
University of Lethbridge
4
Blair, William
3
Kazuhiko Kato
3
Loyola University
3
UAB Student Media;
3
University of Utah Department of Athletics
3
Carsten Schürmann
2
Champion Fibre Company;
2
Chiyan Chen
2
Lemenkova, Polina
2
Sheard, Tim
2
UAB Student Media
2
University of Texas Institute of Texan Cultures at San Antonio
2
Weirich, Stephanie
2
Western Carolina University;
2
Alam, Farhana Eva
1
American Peace Congress (5th : 1915 : San Francisco)
1
Bohórquez Mejía, Maria Isabel
1
Brent A. Yorgey
1
Bronzo, Laura
1
C. B. Jay
1
Chen, Chiyan
1
see all ...
Topic
Magrath (Alta.) -- Newsletters
19
Milo (Alta.) -- Newsletters
17
High School yearbooks
8
High Schools -- Alberta -- Lethbridge -- Periodicals
8
Lethbridge Collegiate Institute
7
Lethbridge Collegiate Institute -- Students -- Yearbooks
7
Industries -- North Carolina -- Canton -- Periodicals
6
Birds--Conservation--Texas--Periodicals
5
Clubs and Organizations
5
Nature conservation--Texas--Periodicals
5
Ornithology--Texas--Periodicals
5
Science and Technology
5
events
5
industry
5
Alberta -- Lethbridge -- Calendars -- Universities and colleges
4
Champion Paper and Fibre Company -- Employees
4
Champion Paper and Fibre Company -- Periodicals
4
DML
4
Employees' magazines
4
University of Alabama in Birmingham; University of Alabama at Birmingham; College student newspapers and periodicals -- Alabama -- Birmingham;
4
University of Lethbridge
4
etc
4
local
4
newsletters
4
Dependent ML
3
Employees -- Recreation
3
Football
3
Loyola University
3
Sports
3
advertising
3
see all ...
Content Provider
University of Lethbridge Digitized Collections
51
Unknown
37
Hunter Library Digital Collections (Western Carolina University)
8
UTSA Digital Collections (The University of Texas at San Antonio)
7
The University of Alabama at Birmingham: UAB Libraries' Digital Collections
5
The University of Utah: J. Willard Marriott Digital Library
5
Loyola University Chicago Digital Special Collections
4
DataCite Metadata Store (German National Library of Science and Technology)
3
ACM Publications (Association for Computing Machinery)
2
North Dakota State University (NDSU): Digital Horizons
2
ArXiv.org (Cornell University Library)
1
Arca (BC's Digital Treasures)
1
Boston University: OpenBU
1
Cambridge University Press
1
Charles University CU Digital repository
1
DML-CZ (Czech Digital Mathematics Library)
1
Delft University of Technology: Institutional Repository
1
Directory of Open Access Journals: DOAJ Articles
1
Earth-Prints (Istituto Nazionale di Geofisica e Vulcanologia)
1
Flanders Marine Institute (VLIZ): Open Marine Archive (OMA)
1
Geography, Environment, Sustainability (E-Journal)
1
Memorial University of Newfoundland: Digital Archives Initiative (DAI)
1
Revistas Tecnológico de Antioquia (Universitaría Tecnológico de Antioquia)
1
Sistema de revistas y publicaciones de la Universidad ORT Uruguay
1
University of Michigan: Deep Blue
1
University of Pennsylvania: ScholaryCommons@Penn
1
University of Washington, Seattle: Digital Collections
1
Zenodo
1
İstanbul University Cerrahpaşa Institutional Repository (DSpace@İÜ-Cerrahpaşa)
1
see all ...
Geographic location
Canada
61
Alta
41
Colleen
27
Kay
21
Denise
20
Sheila
20
Audrey
18
Haskell
18
Kerr
18
Kyle
18
Indian
16
Rae
16
Rasmussen
16
Todd
16
Beck
15
Charity
14
Austin
13
Blair
13
Christensen
13
Dent
13
Garry
13
Lone
13
Pacific
13
Edith
12
Laurie
12
Macleod
12
Ner
12
Pancake
12
Arctic
11
Evelyn
11
see all ...
Language
English
125
unknown
13
Czech
2
Spanish
2
Ukrainian
1
see all ...
Open Polar Keyword
DML
43
Alaska
13
Arctic
13
Newfoundland
11
Yukon
7
ren
5
Churchill
4
Dawson
4
Metis
4
Antarc*
3
Antarctic
3
Beluga
3
Beluga*
3
Iceland
3
Mite
3
Northwest Territories
3
Pink salmon
3
SCAR
3
eskimo*
3
Artide
2
Barrow
2
First Nations
2
Fort McMurray
2
Grand Prairie
2
Greenland
2
Kamchatka
2
Peace River
2
Ruff
2
Siberia
2
Skrei
2
see all ...
Loading...