Filters








7,238 Hits in 5.5 sec

What you always wanted to know about rigid E-unification [chapter]

Anatoli Degtyarev, Andrei Voronkov
1996 Lecture Notes in Computer Science  
The use of rigid E-uni cation and simultaneous rigid E-uni cation for such methods has been proposed by Gallier, Raatz and Snyder 36].  ...  After our proof of the undecidability of simultaneous rigid E-uni cation 27] it has become clear that one should look for more re ned techniques to deal with equality in matrix-based methods.  ...  Condition 2 prohibits to apply any rules to rigid equations of the form E`8 q ' q.  ... 
doi:10.1007/3-540-61630-6_4 fatcat:4vg333by65ew7lmsrjyssduqae

Page 2420 of Mathematical Reviews Vol. , Issue 2000d [page]

2000 Mathematical Reviews  
(S-UPPS-CS; Uppsala) ; Voronkoy, Andrei (S-UPPS-CS; Uppsala) What you always wanted to know about rigid £-unification. (English summary) Logics for artificial intelligence (Evora, 1996). J. Automat.  ...  The use of rigid E-unification and simultaneous rigid E-unification for such meth- ods was proposed in 1987 by J. H.  ... 

The Thoralf plugin: for your fancy type needs

Divesh Otwani, Richard A. Eisenberg
2018 Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018  
The most practical way to represent these equality relations is through a plugin that asserts equality constraints. However, such plugins are difficult to write and reason about.  ...  this encoding function. * Could not deduce: (1 + (n1 + m))~(n + m) from the context: n~(1 + n1) Expected type: Vec (n + m) a Actual type: Vec (1 + (n1 + m)) a Under the assumption that n ∼ (1 + n1), we want  ...  This material is based upon work supported by the National Science Foundation under Grant No. 1704041. 11 Though, it seems possible for a plugin to explore which assertions cause issues and reverse engineer  ... 
doi:10.1145/3242744.3242754 dblp:conf/haskell/OtwaniE18 fatcat:ugpvww3abfaitjbv2p2sjsdzha

Utopia and Disillusion in the Songs of Gundermann: From the Brigade Feuerstein Productions in the GDR to his Solo Albums (1990s) [chapter]

David Robb
2020 Otago German studies  
The fall of the Berlin Wall meant the Liedermacher (political singer/songwriters) were now free to write about what they wanted, but many struggled in the search for new audiences and themes to write about  ...  (I see you turn around with your arse to the wall, / And you move, with your own dick in your hand. / Where do you want to go, children of the revolution, where, where?).  ... 
doi:10.11157/ogs-vol30id431 fatcat:afroycaswndwbh67ofr6aidv5u

Injective type families for Haskell

Jan Stolarek, Simon Peyton Jones, Richard A. Eisenberg
2015 SIGPLAN notices  
We have implemented our solution on a branch of GHC and plan to make it available to regular users with the next stable release of the compiler.  ...  In this paper, we describe a small modification to GHC that allows type functions to be annotated as injective. GHC naturally must check validity of the injectivity annotations.  ...  But what about these cases?  ... 
doi:10.1145/2887747.2804314 fatcat:nqj6tnuw7jd3hlmltmmfyddk3m

Injective type families for haskell

Jan Stolarek, Simon Peyton Jones, Richard A. Eisenberg
2015 Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015  
We have implemented our solution on a branch of GHC and plan to make it available to regular users with the next stable release of the compiler.  ...  In this paper, we describe a small modification to GHC that allows type functions to be annotated as injective. GHC naturally must check validity of the injectivity annotations.  ...  But what about these cases?  ... 
doi:10.1145/2804302.2804314 dblp:conf/haskell/StolarekJE15 fatcat:wwng4osm7nabdefhjj6mdby7d4

Guarded impredicative polymorphism

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones
2018 Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018  
The resulting type system has a clean declarative specification -making it easy for programmers to predict what will type and what will not -, allows for a smooth integration with GHC's OutsideIn(X) constraint  ...  solving framework, while giving up very little in terms of expressiveness compared to systems like HMF, HML, FPH and MLF.  ...  Exploiting the easy case What is hard about typing (head ids)? Nothing!  ... 
doi:10.1145/3192366.3192389 dblp:conf/pldi/SerranoHVJ18 fatcat:bguj75snubfwzeumocu6x6fsza

After the Fall of the Wall: The Impact of the Transition on East German Women

Sibylle Meyer, Eva Schulze
1998 Political Psychology  
However, the effects of German unification on women's lives go well beyond that, but have received relatively little attention thus far. The aim of this study is to examine these effects.  ...  Specifically, it seeks to ascertain how the change from an autocratic, socialist regime to a democratic, capitalist one has affected East German women's social and domestic position.  ...  And to be financially dependent on him with a child to take care of-that's not what I want either. We didn't know this situation before.  ... 
doi:10.1111/0162-895x.00094 fatcat:xtbbdihghjf5vkrepwqqlmvcam

Horrors of Class System: A Marxist Critique of Mansfield's Doll's House

Sidra Ahmad, Selina Aziz, Salman Amin
2020 Journal of Business and Social Review in Emerging Economies  
The current paper talks about the horrors of the inescapable class system that has us hooked blindly.  ...  with them and furthermore there are bleak chances of unification as the lower/labor class is itself a stigma in the eyes of the bourgeoisie.  ...  The law of living requires and demands that if you want to interact with people, you need to be belonging to the same class, otherwise you will be rejected.  ... 
doi:10.26710/jbsee.v6i4.1435 fatcat:fupbj3efqngejktpq33xdvploq

Epigram: Practical Programming with Dependent Types [chapter]

Conor McBride
2005 Lecture Notes in Computer Science  
In doing so, I seek to stretch your imaginations towards what programming can be if we choose to make it so.  ...  They simply can't talk about specific data. All this time, we thought our programming was strongly typed, when it was just our software engineering.  ...  need to know the meaning of the computation if you want to justify its consequences.  ... 
doi:10.1007/11546382_3 fatcat:2g67lrxqvvhnhj2qos365hbgoe

Special Sciences: still a flawed argument after all these years

T JONES
2004 Cognitive Science  
Acknowledgments I would like to thank, Dave Beisecker, Andy Clark, Guy Dove, Ian Dove, Jackie Maloy, and two anonymous referees for many helpful comments and suggestions on an earlier draft.  ...  We may not want to use the term "reduction."  ...  When we describe what it is about the physics of the world that only allows these results, we explain why S 1 x always causes S 2 y.  ... 
doi:10.1016/s0364-0213(03)00111-3 fatcat:qgupaexufvhk5erq2ra3yjgdfm

Special Sciences: still a flawed argument after all these years

Todd Edwin Jones
2004 Cognitive Science  
Acknowledgments I would like to thank, Dave Beisecker, Andy Clark, Guy Dove, Ian Dove, Jackie Maloy, and two anonymous referees for many helpful comments and suggestions on an earlier draft.  ...  We may not want to use the term "reduction."  ...  When we describe what it is about the physics of the world that only allows these results, we explain why S 1 x always causes S 2 y.  ... 
doi:10.1207/s15516709cog2803_5 fatcat:vi33gimyofavriskig45av4gwy

Special Sciences: still a flawed argument after all these years

T JONES
2004 Cognitive Science  
Acknowledgments I would like to thank, Dave Beisecker, Andy Clark, Guy Dove, Ian Dove, Jackie Maloy, and two anonymous referees for many helpful comments and suggestions on an earlier draft.  ...  We may not want to use the term "reduction."  ...  When we describe what it is about the physics of the world that only allows these results, we explain why S 1 x always causes S 2 y.  ... 
doi:10.1016/j.cogsci.2003.10.004 fatcat:iws2jxn7bbgfdic3s5ewyyrhxm

Determination of Socio-economic Conditions through Wealth and Material Possessions: A Marxist Critique of Mansfield's Doll's House

2019 Univeristy of Chitral journal of linguistics and literature  
The current paper talks about the unavoidable class system that we all are entrapped in.  ...  , for they know that their survival lies in manipulation.  ...  As the law of living requires and demands that if you want to interact with people, you need to be belonging to the same class, otherwise you will be rejected.  ... 
doi:10.33195/jll.v3ii.180 fatcat:dtryqrmc5bemdfcsxzkm5vps7e

Family Traditions, Cultural Values, and the Clinician's Countertransference: Therapeutic Assessment of a Young Sicilian Woman

Francesca Fantini
2016 Journal of Personality Assessment  
To overcome the impasse, I had to openly acknowledge such differences and reorient myself to my client's goals.  ...  to the therapeutic alliance.  ...  Acknowledgment I am thankful to Rodan Di Maria, PhD, at the Universit a di Palermo, Italy, for sharing his expertise of traditional Sicilian social and microcultural features.  ... 
doi:10.1080/00223891.2016.1178128 pmid:27294316 fatcat:zskio4z7ovgcjmkigheix2tmqq
« Previous Showing results 1 — 15 out of 7,238 results