Filters








90 Hits in 5.7 sec

Hygienic Macros for ACL2 [chapter]

Carl Eastlund, Matthias Felleisen
2011 Lecture Notes in Computer Science  
An evaluation of the ACL2 code base shows the potential impact of this hygienic macro system on existing libraries and practices.  ...  This paper demonstrates how this lack of hygiene interferes with theorem proving. It then explains how to design and implement a hygienic macro system for ACL2.  ...  We do not introduce hygienic macros as a separate mechanism alongside unhygienic macros because hygiene is a property of an entire macro system, rather than a property of individual macro definitions.  ... 
doi:10.1007/978-3-642-22941-1_6 fatcat:kj6f7vsiavgyzpff3xigzgy72i

Hygienic macro technology

William D. Clinger, Mitchell Wand
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
We then survey the ways in which hygienic macro technology has been adapted into recent non-parenthetical languages.  ...  In this paper, we summarize that early history with greater focus on hygienic macros, and continue the story by describing the further development, adoption, and influence of hygienic and partially hygienic  ...  top of the compatible low-level procedural system described in Section 7.4.  ... 
doi:10.1145/3386330 fatcat:mf7ugimfgrhanp3yboah356a5u

A Functional, Comprehensive And Extensible Multi-Platform Querying And Transformation Approach

Tassilo Horn, Kai Lawonn, Jürgen Ebert, Albert Zündorf
2016 Zenodo  
However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task  ...  Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself.  ...  For development of embedded DSLs, Clojure has a powerful macro system, Scala has its implicits, operator overloading, and an experimental macro system, and Groovy also supports operator overloading, is  ... 
doi:10.5281/zenodo.58302 fatcat:kbtcnkimrffo3d6vbw6unuikpu

Unification of Compile-Time and Runtime Metaprogramming in Scala

Eugene Burmako
2017
In this dissertation, we present an exploration of the idea of unifying compile-time and runtime metaprogramming in Scala.  ...  We propose scala.meta, a new unified metaprogramming framework, and inline/meta, a new macro system based on scala.meta, that take the best from their predecessors and address the most important problems  ...  Acknowledgements I would like to heartily thank my advisor Martin Odersky for believing in my vision and trusting me with the autonomy to explore its avenues.  ... 
doi:10.5075/epfl-thesis-7159 fatcat:e4greyvss5ewjolwwoe6mq4xqm

The Politics and Consequences of Virtual Water Export [chapter]

Jeroen Vos, Rutgerd Boelens
2016 Eating, Drinking: Surviving  
The books in the series seek to stimulate thinking about social, environmental, and political issues in global perspective.  ...  In particular, the books focus on the intersection of these issues with questions about everyday life and sustainability in the light of the post-2015 Development Agenda.  ...  Virtual water can be seen as "embedded" in products. It is an indicator of the amount of fresh water that evaporated or was contaminated during the production and transport of a product.  ... 
doi:10.1007/978-3-319-42468-2_4 fatcat:wzl4cas2hrafpff3abzs6jwgdi

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Gilles Dubochet
2011
An implementation of structural types in Scala is also described.  ...  However, the techniques also exemplify how certain embedding tasks rely on data that is available in the compiler but is then lost in statically-typed languages.  ...  It does, however, aim to support hygiene. A staging or macro system is hygienic if definitions in staged fragments or macros are guaranteed not to collide with other definitions upon expansion.  ... 
doi:10.5075/epfl-thesis-5007 fatcat:alro2nk6ize6rme5v56wlhdevy

Collective Learning in Global Diffusion: Spreading Quality Standards in a Developing Country Cluster

Paola Perez-Aleman
2011 Organization science (Providence, R.I.)  
Based on a longitudinal case study of a cluster of dairy producers in Nicaragua, a representative low-income country, it looks at cross-border diffusion in conditions that differ significantly from advanced  ...  T his research analyzes how foreign organizational practices diffuse among indigenous enterprises in a developing economy.  ...  For helpful discussions, the author also thanks participants at the First Organization Studies Workshop in Santorini, the Academy of Management Meeting in Atlanta, the Academy of International Business  ... 
doi:10.1287/orsc.1090.0514 fatcat:mnflztq2y5hixokv362mk2abmq

The Future of International Law is Cognitive—International Law, Cognitive Sociology and Cognitive Pragmatics

Benedikt Pirker, Jennifer Smolka
2019 German Law Journal  
To clearly delineate the usefulness of the methodologies, this Article separately applies both approaches to the same example of a process of interpretation in international law.  ...  For example, the protection of POWs from unhygienic or adverse climatic conditions that Article 22 seems to imply as an important goal.  ...  given legal system and engages in efforts of systematization and interpretation using methods internal to the legal system. 8 By contrast, the sociology of law takes the perspective of an observer; it  ... 
doi:10.1017/glj.2019.30 fatcat:t3dehyc4mzacplc2rv4jzfx5lm

Moebius: Metaprogramming using Contextual Types – The stage where System F can pattern match on itself (Long Version) [article]

Junyoung Jang and Samuel Gélineau and Stefan Monnier and Brigitte Pientka
2021 arXiv   pre-print
We also give an operational semantics and prove type preservation.  ...  This leads to a multi-level modal lambda-calculus that supports System-F style polymorphism and forms the basis for polymorphic code generation. 2) we extend the multi-level modal lambda-calculus to support  ...  Since their goal is to extend ML with Lisp's ability to write both hygienic (via capture-avoiding substitution) and unhygienic (via capturing substitution) templates, variables are treated symbolically  ... 
arXiv:2111.08099v1 fatcat:owfkxensy5av3hj5627653l7k4

Type sound syntactic language extension [article]

Florian Lorenzen, Technische Universität Berlin, Technische Universität Berlin, Peter Pepper
2015
In this thesis, we develop the language extension system and method SoundX (Sound eXtensions) for statically typed programming languages.  ...  In dieser Arbeit entwicklen wir das System und die Methode SoundX (Sound eXtensions) zur syntaktischen Spracherweiterung statisch typisierter Programmiersprachen.  ...  The Bedrock Structured Programming System [Chl13] is an embedding of certified low-level macros in the Coq theorem prover.  ... 
doi:10.14279/depositonce-4736 fatcat:l3meh3jtojg6pg63yqogmjc5n4

Nature andDynamics of Health Culture: A Sociological Examination on the Changing Health Seeking Behavior and Medical Pluralism of the Rural Population in South Karnataka, India

Dr. D.C. NANJUNDA
2019 Zenodo  
Thesis Submitted to Srinivas University, Mangalore (India) in Partial Fulfillment for the Award of the Degree of Doctor of Letters (D.Litt) in Sociology  ...  -the Indian medicine system is also embedded in the beliefs of a wide section of the population and continues to be an integral and important part of their lives and for some, it is also a way of life‖  ...  Whatever meanings involve in a healing procedure is embedded in a symbolic system and it represents the cultural order of that community in a given geographical area.  ... 
doi:10.5281/zenodo.2817254 fatcat:luclpa5lxrdm7fx6opuvosugmq

Manual on the Human Rights to Safe Drinking Water and Sanitation for Practitioners

R. Bos
2016 Water Intelligence Online  
In some countries the functions of drinking water regulation are embedded in the functions of an economic regulator, who also covers drinking water tariffs.  ...  Water is not necessarily an element of an effective sanitation system, but safe water is essential for domestic purposes including drinking, cooking, washing and hygiene.  ...  Creating such an enabling environment is, in fact, only the first step in the process towards progressive realisation.  ... 
doi:10.2166/9781780407449 fatcat:p4thh7eikzfa3msxyap4d55vm4

Nature and Dynamics of Health Culture: A Sociological Investigation on Changing Medical Pluralism and Health Seeking Behavior of the Rural Population in the Selected Districts of South Karnataka-India

Dr. D.C. Nanjunda
2021 Zenodo  
Nature and Dynamics of Health Culture: A Sociological Investigation on Changing Medical Pluralism and Health Seeking Behavior of the Rural Population in the Selected Districts of South Karnataka-India:  ...  "the Indian medicine system is also embedded in the beliefs of a wide section of the population and continues to be an integral and important part of their lives and for some, it is also a way of life"  ...  Whatever meanings involve in a healing procedure is embedded in a symbolic system and it represents the cultural order of that community in a given geographical area.  ... 
doi:10.5281/zenodo.5148440 fatcat:px4lc6liszdphnk6v53sgwydgq

Social capital and mental health

Scott Henderson, Harvey Whiteford
2003 The Lancet  
The mental hygiene movement Early in the 20th century the mental hygiene movement was successful in putting mental health promotion on the international agenda.  ...  The resulting changes to educational settings have been embedded in their ongoing practice.  ...  have a relatively small effect at an individual level.  ... 
doi:10.1016/s0140-6736(03)14150-5 pmid:12932380 fatcat:aujijrgc65dmnf3ywp6c32smvu

Pakistan: Poverty Reduction Strategy Paper

International Monetary Fund
2010 IMF Staff Country Reports  
schools and to promote hygiene education.  ...  UNICEF, USAID), have come together with line agencies in the provinces to undertake extensive hygiene campaigns country-wide. 9.22.6 Water, Sanitation and Hygiene in Schools -Transforming a Generation:  ...  care system.  ... 
doi:10.5089/9781455205226.002 fatcat:qorvkmyrs5afxpc27cntpe3rxy
« Previous Showing results 1 — 15 out of 90 results