• *Search*: Types in compilation

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 38*number_thousands_separator*206

2

*This result is not displayed to guests*

3

Double-Ended Bit-Stealing for Algebraic Data Types
Martin Elsman
Elsman, M 2024, ' Double-Ended Bit-Stealing for Algebraic Data Types. ', Proceedings of the ACM on Programming Languages, vol. 8, no. ICFP, 239, pp. 88-120 . https://doi.org/10.1145/3674628
Elsman, M 2024, ' Double-Ended Bit-Stealing for Algebraic Data Types ', Proceedings of the ACM on Programming Languages, vol. 8, no. ICFP, 239 . https://doi.org/10.1145/3674628

Functional languages 0202 electrical engineer... Unboxing 0102 computer and inform... 02 engineering and techn... Data-type representation... …
*Academic Journal*
*Add to favorites*
4

Comparison of Shoreline Erosion Rates Derived from Multiple Data Types: Data Compilation for Legislated Setback Lines in South Carolina (USA)
Harris, M. S. ; Wright, E. E. ; Fuqua, L. ; et al.
Journal of Coastal Research, 2009 Jan 01, 1224-1228.

*Academic Journal*
*Add to favorites*
5

*This result is not displayed to guests*

6

*This result is not displayed to guests*

7

*This result is not displayed to guests*

8

A Study on the Types of Compilation of the Yeokdaemyeonggam
null MoonYear Park
Journal of the Institute of Bibliography. :27-54

*Academic Journal*
*Add to favorites*
9

Security Types Preserving Compilation: Security types preserving compilation
Barthe, Gilles ; Rezk, Tamara ; Basu, Amitabh
Lecture Notes in Computer Science ISBN: 9783540208037

program analysis Theory of programming la... 0202 electrical engineer... Theory of compilers and... security 0102 computer and inform... …
*Book*
*Add to favorites*
10

*This result is not displayed to guests*

11

Divide and recycle: types and compilation for a hybrid synchronous language.
Albert Benveniste ; Timothy Bourke ; Benoît Caillaud ; et al.
LCTES. :61-70

*Conference*
*Add to favorites*
12

Enhancing R with Advanced Compilation Tools and Methods
Lang, Duncan Temple
Statistical Science, 2014 May 01. 29(2), 181-200.

*Academic Journal*
*Add to favorites*
13

*This result is not displayed to guests*

14

16 Compilation of Units: Polyhedral Units
Baur, W. H., Editor ; Fischer, R. X., Editor ; Smith, J. V. ; et al.
Tetrahedral Frameworks of Zeolites, Clathrates. 01/01/2000. 14A:65-131

*eBook*
*Add to favorites*
15

16 Compilation of Units: 1D units. Part 1
Baur, W. H., Editor ; Fischer, R. X., Editor ; Smith, J. V. ; et al.
Tetrahedral Frameworks of Zeolites, Clathrates. 01/01/2000. 14A:180-225

*eBook*
*Add to favorites*
16

16 Compilation of Units: 1D units. Part 2
Baur, W. H., Editor ; Fischer, R. X., Editor ; Smith, J. V. ; et al.
Tetrahedral Frameworks of Zeolites, Clathrates. 01/01/2000. 14A:226-250

*eBook*
*Add to favorites*
17

16 Compilation of Units: 2D nets
Baur, W. H., Editor ; Fischer, R. X., Editor ; Smith, J. V. ; et al.
Tetrahedral Frameworks of Zeolites, Clathrates. 01/01/2000. 14A:132-179

*eBook*
*Add to favorites*
18

16 Compilation of Units: General, Subunits
Baur, W. H., Editor ; Fischer, R. X., Editor ; Smith, J. V. ; et al.
Tetrahedral Frameworks of Zeolites, Clathrates. 01/01/2000. 14A:26-64

*eBook*
*Add to favorites*
19

*This result is not displayed to guests*

20

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types: Abstract Compilation for Type Analysis of Object-Oriented Languages (Extended Abstract)
Davide Ancona
Electronic Proceedings in Theoretical Computer Science. 258:70-71

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
*Academic Journal*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*