Search Results - dynamically-typed Programming
-
1
Authors: et al.
Source: Wright, C J, Luján, M, Petoumenos, P & Goodacre, J 2024, Quff : A Dynamically Typed Hybrid Quantum-Classical Programming Language. in MPLR 2024 : Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. Association for Computing Machinery, New York, NY, pp. 65-81, 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Vienna, Austria, 19/09/24. https://doi.org/10.1145/3679007.3685063
Subject Terms: quantum programming, GraalVM, compilation, runtime systems, dynamically-typed Programming, intermediate representation, quantum computing, Java on Truffle
File Description: application/pdf
Access URL: https://research.manchester.ac.uk/en/publications/8b4488ff-2ea1-46ea-be62-2961cf36461b
https://doi.org/10.1145/3679007.3685063
https://pure.manchester.ac.uk/ws/files/356949077/quff_3679007.3685063.pdf
https://research.manchester.ac.uk/en/publications/8b4488ff-2ea1-46ea-be62-2961cf36461b
https://doi.org/10.1145/3679007.3685063 -
2
Authors: et al.
Source: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). :489-501
Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages, Machine Learning (cs.LG), Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/2411.15368
-
3
Authors:
Source: Proceedings of the 14th Brazilian Symposium on Software Components, Architectures, and Reuse. :81-90
-
4
Authors:
Source: COMPUTING AND INFORMATICS; Vol 37, No 4 (2018): Computing and Informatics; 946-968
Subject Terms: 0209 industrial biotechnology, Middle-ware, OPC-UA, 94-A99, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Parallel and Distributed Computing, Software Engineering, 3. Good health
File Description: application/pdf
-
5
-
6
Authors:
Source: Proceedings of the 5th symposium on Dynamic languages. :69-78
Subject Terms: Type Reconstruction, Type Inference, Dynamic Programming Languages, Development Environments, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Access URL: https://lirias.kuleuven.be/bitstream/123456789/241799/1/dls18-pluquet.pdf
https://dl.acm.org/ft_gateway.cfm?id=1640145&type=pdf
http://doi.org/10.1145/1640134.1640145
https://dl.acm.org/doi/10.1145/1640134.1640145
https://core.ac.uk/display/101993719
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/72674/Details
http://fpluquet.be/Publications_&_Talks_files/Fast%20Type%20Reconstruction%20for%20Dynamically%20Typed%20Programming%20Languages.pdf -
7
Authors:
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences, 0105 earth and related environmental sciences, Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/1901.05138
-
8
Authors: et al.
Contributors: et al.
Source: The Art, Science, and Engineering of Programming. 8
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, protected, Object-oriented languages, 02 engineering and technology, [INFO] Computer Science [cs], Language features, Extensible languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Dynamically-typed languages, 0202 electrical engineering, electronic engineering, information engineering, encapsulation, Pharo, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2306.12410
https://hal.science/hal-04119017v2
https://doi.org/10.22152/programming -journal.org/2024/8/2
https://hal.science/hal-04119017v2/document -
9
-
10
Authors: et al.
Contributors: et al.
Source: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages. :23-34
Subject Terms: Ownership, Channels, Concurrency, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Dynamic Language, Permission Transfer, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
-
11
Authors: Tratt, Laurence
Source: Dynamic language symposium, 2005
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
File Description: application/pdf
Access URL: http://www.tratt.net/laurie/research/publications/papers/tratt__compile-time_meta-programming_in_a_dynamically_typed_oo_language.pdf
https://eprints.mdx.ac.uk/5919/1/Tratt-compile_time_meta_programming.pdf
https://eprints.mdx.ac.uk/5919/
http://portal.acm.org/citation.cfm?doid=1146841.1146846
https://dl.acm.org/doi/10.1145/1146841.1146846
https://dblp.uni-trier.de/db/conf/dls/dls2005.html#Tratt05
https://doi.org/10.1145/1146841.1146846
https://core.ac.uk/display/45315130 -
12
Authors: et al.
Source: Proceedings of the 2014 Workshop on Programming models for SIMD/Vector processing. :71-78
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 6. Clean water
-
13
Authors: et al.
Source: 2009 Fourth International Conference on Systems. :163-169
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Access URL: https://www.computer.org/csdl/proceedings-article/icons/2009/3551a163/12OmNxVDuRs
https://ieeexplore.ieee.org/document/4976337/
http://doi.ieeecomputersociety.org/10.1109/ICONS.2009.15
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004976337
https://dblp.uni-trier.de/db/conf/icons/icons2009.html#KrapfenbauerEKF09 -
14
-
15
Authors:
Subject Terms: Pattern Matching, Musterabgleich, Muster, Objekt-Orientiertes Programmieren, Dynamische Typ Systeme, Patterns, Object-Oriented Programming, Dynamic Type System, Data processing Computer science
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4303/
-
16
Authors:
Source: ACM SIGPLAN Notices. 39:295-312
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Access URL: https://dl.acm.org/doi/10.1145/989393.989425
-
17
Authors:
Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Software Engineering, Statistics - Machine Learning, 0202 electrical engineering, electronic engineering, information engineering, Machine Learning (stat.ML), 02 engineering and technology, Machine Learning (cs.LG)
Access URL: http://arxiv.org/abs/1809.09569
-
18
-
19
Authors: García Rodríguez, Miguel
Thesis Advisors: Ortín Soler, Francisco, Informática, Departamento de
Subject Terms: StaDyn, Hybrid Dynamic and Static Typing, Dynamic Languages, Union Types, Intersection Types, Runtime Performance, .Net
Access URL: http://hdl.handle.net/10651/17750
-
20
Authors: et al.
Source: Schenck, R, Hinnerskov, N H, Henriksen, T, Madsen, M & Elsman, M 2024, 'AUTOMAP : Inferring Rank-Polymorphic Function Applications with Integer Linear Programming', Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA2, 334, pp. 1787-1813. https://doi.org/10.1145/3689774
Subject Terms: array programming, data parallelism, constraint-based type systems
File Description: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder