Filters








184 Hits in 7.8 sec

Functional pearl: two can keep a secret, if one of them uses Haskell

Alejandro Russo
2015 SIGPLAN notices  
Title inspired by Benjamin Franklin's quote "Three can keep a secret, if two of them are dead" † Work done while visiting Stanford University 1 Provided by the Hackage package http-wget The ellipsis (.  ...  The code fetches a list of common English passwords, which constitutes a legit action for function common pwds (first call to wget ).  ...  (loopOn False lbool n) > > return ()This function spawns two MAC L-threads; one of them is going to loop infinitely, while the other one leaks the secret into Bob's server.  ... 
doi:10.1145/2858949.2784756 fatcat:jrh76ruppjaxlacidzxlhslrtm

Functional pearl: two can keep a secret, if one of them uses Haskell

Alejandro Russo
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
Title inspired by Benjamin Franklin's quote "Three can keep a secret, if two of them are dead" † Work done while visiting Stanford University 1 Provided by the Hackage package http-wget The ellipsis (.  ...  The code fetches a list of common English passwords, which constitutes a legit action for function common pwds (first call to wget ).  ...  (loopOn False lbool n) > > return ()This function spawns two MAC L-threads; one of them is going to loop infinitely, while the other one leaks the secret into Bob's server.  ... 
doi:10.1145/2784731.2784756 dblp:conf/icfp/Russo15 fatcat:p7nqnx2kovezjniygandypsi6q

Batcher's odd-even merging network revealed

RALF HINZE, CLARE MARTIN
2018 Journal of functional programming  
Though simple in appearance they have a surprisingly rich structure. In this pearl we delve a little into their theory.  ...  The visual presentation of such hard-wired networks makes processes easy to conceptualize without the overhead of programming syntax or the semantic complications of concurrency.  ...  Finally, we would like to thank the students of the Research Seminar "Software Science" for suggesting improvements to the diagrams and the avoidance of detours.  ... 
doi:10.1017/s0956796818000163 fatcat:2pks3pepjnd2tl47cswpxaviey

Lightweight monadic programming in ML

Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
Many useful programming constructions can be expressed as monads.  ...  Developers write programs using monadic values of type m τ as if they were of type τ , and our algorithm inserts the necessary binds, units, and monad-to-monad morphisms so that the program type checks  ...  Acknowledgements The authors would like to thank Gavin Bierman and Matt McCutchen for their early contributions to this work, and to Gavin for comments on this draft.  ... 
doi:10.1145/2034773.2034778 dblp:conf/icfp/SwamyGLH11 fatcat:why65xdo4jggnbr2t3ytx7zvsu

Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning [article]

Sandra Dylus
2020 arXiv   pre-print
We discuss two applications using the functional logic programming language Curry.  ...  That is, the effects of interest are totality and partiality. We then observe that the general scheme to model these two effects can be generalised to capture a wide range of effects.  ...  The advantage of focussing on the total subset of Haskell is that they can translate functions one-to-one to Coq.  ... 
arXiv:2006.01531v1 fatcat:s7nl4qdd5veo7fv64cpg3buvwm

Flow-Limited Authorization

Owen Arden, Jed Liu, Andrew C. Myers
2015 2015 IEEE 28th Computer Security Foundations Symposium  
It is an approach to information flow control in that it can be used to reason about whether a flow of information is secure.  ...  Flame uses type-level constraints and monadic effects to statically enforce flow-limited authorization for Haskell programs in a modular way.  ...  Haskell is a particularly attractive language for our purposes. It is a pure functional language, keeping our implementation close to the syntax and abstractions of FLAC.  ... 
doi:10.1109/csf.2015.42 dblp:conf/csfw/ArdenLM15 fatcat:sxrbaf5vyffyfdhafjvqnqmyry

Lightweight monadic programming in ML

Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
2011 SIGPLAN notices  
Many useful programming constructions can be expressed as monads.  ...  Developers write programs using monadic values of type m τ as if they were of type τ , and our algorithm inserts the necessary binds, units, and monad-to-monad morphisms so that the program type checks  ...  Acknowledgements The authors would like to thank Gavin Bierman and Matt McCutchen for their early contributions to this work, and to Gavin for comments on this draft.  ... 
doi:10.1145/2034574.2034778 fatcat:unn6y5ztczftncqtevuhqhqdn4

Page 4 of Flag of Our Union Vol. 15, Issue 52 [page]

1860 Flag of Our Union  
asked the man. “ To sell them and buy pearls for a necklace,” was the answer.  ...  Before using half a bottle I felt greatly relieved, and by the time I had used two bottles and a half I was entirely well, and still remain so.  ... 

Page 3 of Maine Farmer Vol. 55, Issue 20 [page]

1887 Maine Farmer  
U the Extract to the extent of one bottle, and was able to appear on the street as well as ever in two days. Mr.JACOBS. HASKELL, No. 24} Brown St.  ...  I have got one iittk brother, his name is Irwin; he is five years old am . I can yoke them and driv There, looming black | them as well as papa. hly cleanse the blood, which is the f th, by using Dr.  ... 

Facilitator control as automatic behavior: A verbal behavior analysis

Genae A. Hall
1993 The Analysis of Verbal Behavior  
This paper analyzes facilitator behavior as an instance of automatic verbal behavior, from the perspective of Skinner's (1957) book Verbal Behavior.  ...  Several studies of facilitated communication have demonstrated that the facilitators were controlling and directing the typing, although they appeared to be unaware of doing so.  ...  A mother told us about the adjustments she had made knowing that she can have no secrets from her teenage daughter.  ... 
doi:10.1007/bf03392890 pmid:22477083 pmcid:PMC2748555 fatcat:n2eyek7sfrgxdnqa7t7jvp4zim

Page 7 of Maine Farmer Vol. 68, Issue 12 [page]

1900 Maine Farmer  
Always put new tin baking dishes—Washington pie plates, etc., into the oven and give them a good baking before using them and cake will not stick to them as it will with- out Thisis the secret whyone can  ...  One by one he counted them out laying them on the table; then he stood them in a row; after this he put them back into the box.  ... 

Page 3 of Maine Farmer Vol. 36, Issue 1 [page]

1867 Maine Farmer  
J penny me Ada ye subscriber has been duly appointed Administratrix on the estate of ALBERT HASKELL, late of Chine in the County of Kennebec, deccased, intestate, yment to ELIZA BETH HASKELL. hereby given  ...  I shall go and ask Miss Bellamy what is the best thing for rheu- matism at my time of life, and see if she can exchange my aay to a respectable, well-conducted cat.’’  ... 

A Theory of Genre: Romance, Realism, and Moral Reality

Robert C. Post
1981 American Quarterly  
For example, when Drowne promises Captain Hunnewell to keep the secret of his figurehead, Hawthorne continues: Captain Hunnewell then took Drowne by the button, and communicated his wishes in so low a  ...  The usefulness of this approach can best be illustrated by contrasting it to the usual manner in which historians of American literature have discussed these two genres.  ... 
doi:10.2307/2712524 fatcat:cww3mgmozfeunkyz6mthr4zfm4

Page 3 of Maine Farmer Vol. 55, Issue 41 [page]

1887 Maine Farmer  
I have got a colt two years old, her name is Nellie, she is away to pasture, and I have got a pair of steers one year old, last win- ter l'could yoke them and team them all round, their names are Star  ...  If each keep ten cows the difference amounts to 500 lbs. of putter in a year, the cows costing in each case practically the same for keep.  ... 

Page 2 of Maine Farmer Vol. 35, Issue 1 [page]

1866 Maine Farmer  
. $0 00@0 00 ; Pea $3 50.3 75; Blue | which can be removed only by the use of a sure remedy. The [eke am them. Apply personally, or by letter to C. W. FORSUSH, | and firm name of B.  ...  You can in a few days catch all fur bearing animals (Minks, Otter, a range where you trap by using mg artificial scent- ed bait. md $1 and receive by return mail this great secret from an old hunter.  ... 
« Previous Showing results 1 — 15 out of 184 results