SHIMOMURA's Top Recommendations

These recommendations were last updated about an hour ago.

	Functional unparsing [My Copy] J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625. by Olivier Danvy posted by 7 people ama08r pedagand draganigajic msakai keigoi cognominal spl
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted by 36 people ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins SRL SRG_at_UCD complogic mmarcus jimburton Lambda the Ultimate namin dvgb jkominek pedagand
	Programming language challenges in systems codes: why systems programmers still use C, and what to do about it [My Copy] In PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems (2006), 9. by Jonathan Shapiro posted by 4 people ama08r leosteinfeld keigoi pedagand
	Scrap your nameplate: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191. by James Cheney posted by 5 people greenrd voigt msakai keigoi SRG_at_UCD
	Software model checking in practice: an industrial case study [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 431-441. by Satish Chandra, Patrice Godefroid, Christopher Palm posted by 5 people streetlightios msakai keigoi bfraser zuleger
	A functional-logic library for wired [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 37-48. by Matthew Naylor, Emil Axelsson, Colin Runciman posted by 4 people draganigajic msakai keigoi pedagand
	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted by 6 people ConcertRG draganigajic pedagand keigoi msakai nominolo
	Lock Free Data Structures Using STM in Haskell [My Copy] Functional and Logic Programming (2006), pp. 65-80. by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh posted by 5 people draganigajic pedagand brecknell keigoi msakai
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted by 20 people jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins NU-PRL SRG_at_UCD dfisher americovargas
	Multiparty asynchronous session types [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 273-284. by Kohei Honda, Nobuko Yoshida, Marco Carbone posted by 3 people msakai ama08r keigoi
	Data flow analysis is model checking of abstract interpretations [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48. by David A. Schmidt posted by 8 people streetlightios eaubin wasi Mikejones msakai bunge keigoi zuleger
	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted by 7 people dwei98 maddogmiller StFX Centre for Logic and Information streetlightios yoriyuki keigoi msakai
	Automatic predicate abstraction of C programs [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted by 4 people mattmight bfraser keigoi msakai
	Software Abstractions: Logic, Language, and Analysis [My Copy] (07 April 2006) by Daniel Jackson posted by 7 people zhensong leemond31 DavidChemouil keigoi jleny leonardo dyoo
	Smallcheck and lazy smallcheck: automatic exhaustive testing for small values [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48. by Colin Runciman, Matthew Naylor, Fredrik Lindblad posted by 4 people bulwahn pedagand keigoi msakai
	Much ado about two (pearl): a pearl on parallel prefix computation [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 29-35. by Janis Voigtländer posted by 4 people yoriyuki keigoi msakai voigt
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted by 14 people draganigajic twleung dherman greenrd cedricboidin msakai bonotake tov calvins NU-PRL SRG_at_UCD BMeph jimburton Lambda the Ultimate
	Program analysis via graph reachability [My Copy] Information and Software Technology, Vol. 40, No. 11-12. (1 December 1998), pp. 701-726. by Thomas Reps posted by 4 people dimvar mattmight msakai keigoi
	Theory and practice of constraint handling rules [My Copy] The Journal of Logic Programming, Vol. 37, No. 1-3. (12 October 1998), pp. 95-138. by Thom Fruhwirth posted by 4 people fdr msakai keigoi bfraser
	Towards proving preservation of behaviour of refactoring of UML models [My Copy] In SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2005), pp. 252-259. by Marc van Kempen, Michel Chaudron, Derrick Kourie, Andrew Boake posted by 3 people leonardo msakai keigoi
	Extensible algebraic datatypes with defaults [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 241-252. by Matthias Zenger, Martin Odersky posted by 3 people mbravenboer keigoi bfraser
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted by 8 people ama08r talototo spl draganigajic hellige msakai jimburton Lambda the Ultimate
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 11 people ama08r dherman JacquesC greenrd cedricboidin zednenem msakai bonotake NU-PRL SRG_at_UCD mcclurmc
	A Simple Solution to Type Specialization [My Copy] Automata, Languages and Programming (1998), 908. by Olivier Danvy posted by 3 people jkominek msakai keigoi
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones, Simon Marlow posted by 13 people samth greenrd zednenem bec voigt msakai bonotake spl NU-PRL SRG_at_UCD gkuan americovargas jpbernardy
	A user-centred approach to functions in excel [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 165-176. by Simon P. Jones, Alan Blackwell, Margaret Burnett posted by 7 people himosqui robertlischke hamish alisonruth msakai keigoi SITCRC
	Understanding functional dependencies via constraint handling rules [My Copy] J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 83-129. by Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey posted by 5 people hamish msakai keigoi cognominal jpbernardy
	A case study on how to manage the theft of information [My Copy] In InfoSecCD '05: Proceedings of the 2nd annual conference on Information security curriculum development (2005), pp. 135-138. by Robert posted by 3 people keigoi msakai takataka15
	Bisimulation can't be traced [My Copy] J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268. by Bard Bloom, Sorin Istrail, Albert R. Meyer posted by 4 people christiankissig keigoi numba37 msakai
	Embedding a Hardware Description Language in Template Haskell [My Copy] Domain-Specific Program Generation (2004), pp. 143-164. by John T. O’donnell posted by 2 people msakai keigoi
	A recursive do for Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 29-37. by Levent Erkök, John Launchbury posted by 2 people msakai keigoi
	Conditional rewriting logic as a unified model of concurrency [My Copy] Theor. Comput. Sci., Vol. 96, No. 1. (April 1992), pp. 73-155. by José Meseguer posted by 2 people msakai keigoi
	Global variable considered harmful [My Copy] SIGPLAN Not., Vol. 8, No. 2. (February 1973), pp. 28-34. by W. Wulf, Mary Shaw posted by 5 people azwinkau akuhn fgeller msakai keigoi
	Model-Checking Behavioral Specification of BPEL Applications [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Web Languages and Formal Methods (WLFM 2005), Vol. 151, No. 2. (31 May 2006), pp. 89-105. by Shin Nakajima posted by 2 people keigoi msakai
	Subtyping recursive types [My Copy] ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 575-631. by Roberto M. Amadio, Luca Cardelli posted by 2 people msakai keigoi
	One-and-a-halfth-order Logic [My Copy] J Logic Computation, Vol. 18, No. 4. (1 August 2008), pp. 521-562. by Murdoch J. Gabbay, Aad Mathijssen posted by 2 people msakai keigoi
	Acceptor and connector [My Copy] (1997), pp. 191-229. by Douglas C. Schmidt posted by 2 people msakai keigoi
	Why it's nice to be quoted: quasiquoting for haskell [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 73-82. by Geoffrey Mainland posted by 2 people msakai keigoi
	Formally deriving an STG machine [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112. by Alberto, Ricardo posted by 3 people msakai keigoi kalmar
	Observable Sharing for Functional Circuit Description [My Copy] In ASIAN '99: Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science (1999), pp. 62-73. by Koen Claessen, David Sands posted by 2 people keigoi msakai
	Polymorphic Delimited Continuations [My Copy] Programming Languages and Systems (2007), pp. 239-254. by Kenichi Asai, Yukiyoshi Kameyama posted by 3 people msakai keigoi nominolo
	Model Checking Timed Automata with Priorities Using DBM Subtraction [My Copy] Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142. by Alexandre David, John Håkansson, Kim Larsen, Paul Pettersson posted by 2 people keigoi msakai
	Substructural Type Systems for Program Analysis [My Copy] Functional and Logic Programming (2008), pp. 14-14. by Naoki Kobayashi posted by 2 people keigoi msakai
	Tag Elimination and Jones-Optimality [My Copy] In PADO '01: Proceedings of the Second Symposium on Programs as Data Objects (2001), pp. 257-275. by Walid Taha, Henning Makholm, John Hughes posted by 1 person keigoi
	Purely functional system configuration management [My Copy] In HOTOS'07: Proceedings of the 11th USENIX workshop on Hot topics in operating systems (2007), pp. 1-6. by Eelco Dolstra, Armijn Hemel posted by 1 person keigoi
	Reversible Machine Code and Its Abstract Processor Architecture [My Copy] Computer Science – Theory and Applications (2007), pp. 56-69. by Holger Axelsen, Robert Glück, Tetsuo Yokoyama posted by 1 person keigoi
	An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 71 (April 2004), pp. 261-281. by P. Thati, K. Sen, N. Martioliet posted by 1 person keigoi
	Grammar-based analysis of string expressions [My Copy] In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 59-70. by Peter Thiemann posted by 2 people msakai keigoi
	Finite State Verification for the Asynchronous pi-Calculus [My Copy] In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 255-269. by Ugo Montanari, Marco Pistore posted by 2 people msakai keigoi
	The theory of strictness analysis for higher order functions [My Copy] Programs as Data Objects (1986), pp. 42-62. by G. L. Burn, C. L. Hankin, S. Abramsky posted by 2 people msakai keigoi
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted by 16 people pedagand draganigajic sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc NU-PRL jimburton Lambda the Ultimate dfisher
	Data parallel Haskell: a status report [My Copy] In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18. by Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon P. Jones, Gabriele Keller, Simon Marlow posted by 6 people ama08r jmmcg draganigajic tov brecknell pedagand
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted by 25 people jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins NU-PRL GroupLens SRL hayeah frej
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted by 9 people greenrd jrw greg_restall zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted by 11 people ama08r tautologico dherman bfraser keigoi tov janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup mcclurmc Lambda the Ultimate
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted by 7 people greenrd voigt mahler msakai AndreasSchropp Rightscom SRG_at_UCD
	Fold and unfold for program semantics [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288. by Graham Hutton posted by 5 people draganigajic mcclurmc Lambda the Ultimate msakai spl
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted by 12 people kozima pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja Compilers mcclurmc
	Lightweight Extensible Records for Haskell [My Copy] (1999) by M. Jones, S. Jones posted by 8 people dherman greenrd msakai ryanc ben_moseley NU-PRL SRG_at_UCD americovargas
	The design of a pretty-printing library [My Copy] Advanced Functional Programming (1995), pp. 53-96. by John Hughes posted by 4 people msakai draganigajic pedagand yoriyuki
	Bananas in space: extending fold and unfold to exponential types [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted by 8 people blog01 JacquesC jyasskin voigt msakai dmitri83 NU-PRL spl
	Monadic Parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998) by Graham Hutton, Erik Meijer posted by 9 people draganigajic jrw zednenem damaru msakai bunge cognominal Lambda the Ultimate namin
	Haskell on a shared-memory multiprocessor [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61. by Tim Harris, Simon Marlow, Simon P. Jones posted by 10 people masteraka hamish jrw tautologico voigt msakai neilc benchambers kazuya brecknell
	Bidirectionalization for free! (Pearl) [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 165-176. by Janis Voigtländer posted by 3 people pedagand msakai voigt
	Global Progress in Dynamically Interleaved Multiparty Sessions [My Copy] CONCUR 2008 - Concurrency Theory (2008), pp. 418-433. by Lorenzo Bettini, Mario Coppo, Loris D’antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida posted by 2 people ama08r msakai
	Conceptual Mathematics: A First Introduction to Categories [My Copy] (28 November 1997) by F. William Lawvere, Stephen H. Schanuel posted by 11 people seno ddemange michaelbanks pedagand msakai bonotake NitinCR rgb kaqui incognito pileWorks
	$My PDF voigtl&\#228;nder_02_concatenate.pdf$ Concatenate, reverse and map vanish for free [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 14-25. by Janis Voigtl&\#228;nder posted by 6 people JacquesC rwtodd pejo voigt msakai NU-PRL
	Chapter 1. Generic Haskell: Practice and Theory [My Copy] Lecture Notes in Computer Science : Generic Programming (2003), pp. 1-56. by Ralf Hinze, Johan Jeuring posted by 3 people yallop spl msakai
	Parsing expression grammars: a recognition-based syntactic foundation [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122. by Bryan Ford posted by 6 people fgeller msakai spl dherman jrw NU-PRL
	Structured type theory [My Copy] (1999) by C. Coquand, T. Coquand posted by 3 people draganigajic msakai bringert
	The essence of compiling with continuations [My Copy] In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, Vol. 28, No. 6. (June 1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted by 3 people mattmight dsilva msakai
	Categories for the Working Mathematician (Graduate Texts in Mathematics) [My Copy] (25 September 1998) by Saunders M. Lane posted by 16 people robotact shivak pedagand ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR conal Rightscom Compilers masteraka mmarcus
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	Monadic augment and generalised short cut fusion [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305. by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene posted by 3 people voigt msakai wtribbey
	Containers: Constructing strictly positive types [My Copy] Theoretical Computer Science, Vol. 342, No. 1. (06 September 2005), pp. 3-27. by M. Abbott, T. Altenkirch, N. Ghani posted by 2 people pedagand msakai
	Call-by-value is dual to call-by-name [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201. by Philip Wadler posted by 5 people joker13 robennals msakai mcclurmc Lambda the Ultimate
	A Markov Chain Model Checker [My Copy] In TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 347-362. by Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle posted by 3 people streetlightios suer msakai
	Derivatives of Regular Expressions [My Copy] J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494. by Janusz A. Brzozowski posted by 9 people hubris mattmight msakai zednenem kavabean mstone bunge jennie dfisher
	Observational equality, now! [My Copy] In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68. by Thorsten Altenkirch, Conor McBride, Wouter Swierstra posted by 5 people fvogels msakai pedagand noam_zeilberger Benja
	Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory) [My Copy] by Per Martin-Lof posted by 3 people pedagand greg_restall msakai
	Category Theory (Oxford Logic Guides) [My Copy] (27 July 2006) by Steve Awodey posted by 3 people NitinCR pedagand msakai
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted by 5 people dherman msakai AndreasSchropp NU-PRL mcclurmc
	A New Extraction for Coq [My Copy] Types for Proofs and Programs (2003), pp. 617-617. by Pierre Letouzey posted by 3 people msakai mvermaat jimburton
	Semantics and Pragmatics of New Shortcut Fusion Rules [My Copy] Functional and Logic Programming (2008), pp. 163-179. by Janis Voigtländer posted by 2 people voigt msakai
	Purely functional data structures [My Copy] (1998) by Chris Okasaki posted by 6 people JeffreyPalmer muli msakai AndreasSchropp kozaki jimburton
	The Daikon system for dynamic detection of likely invariants [My Copy] Sci. Comput. Program., Vol. 69, No. 1-3. (2007), pp. 35-45. by Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, et al.Stephen Mccamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao posted by 2 people embersp zuleger
	Theorem Proving for Verification [My Copy] Modeling and Verification of Parallel Processes (2001), pp. 39-57. by John Rushby posted by 3 people dwei98 mishra_satish michaelbanks
	The calculus of constructions [My Copy] Information and Computation, Vol. 76, No. 2-3. ( 1988), pp. 95-120. by Thierry Coquand, Gerard Huet posted by 3 people msakai jimburton darinm
	Darcs: distributed version management in haskell [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 1-4. by David Roundy posted by 3 people voigt p1738j msakai
	Proving correctness via free theorems: the case of the destroy/build-rule [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 13-20. by Janis Voigtländer posted by 1 person voigt
	Structural polymorphism [My Copy] Theoretical Computer Science, Vol. 115, No. 1. (5 July 1993), pp. 107-129. by P. Freyd posted by 2 people voigt msakai
	Syntax and Semantics of Dependent Types [My Copy] In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130. by Martin Hofmann edited by A. M. Pitts, P. Dybjer posted by 5 people tautologico rysavy xiemaisi AS-IIS_ReadingGroup msakai
	Selective strictness and parametricity in structural operational semantics, inequationally [My Copy] Theoretical Computer Science, Vol. In Press, Accepted Manuscript by Janis Voigtlander, Patricia Johann posted by 1 person voigt
	Semantic parametricity in polymorphic lambda calculus [My Copy] Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 274-279. by P. J. Freyd, J. Y. Girard, A. Scedrov, P. J. Scott posted by 2 people voigt msakai
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	Type Classes with Functional Dependencies [My Copy] In ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems (2000), pp. 230-244. by Mark P. Jones posted by 2 people spl msakai
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted by 8 people dherman jrw zednenem msakai dmitri83 EdwardKmett meiersi NU-PRL
	Data structures and program transformation [My Copy] Science of Computer Programming, Vol. 14, No. 2-3. (October 1990), pp. 255-279. by Grant Malcolm posted by 3 people msakai scis0000001 spl
	Kodkod: A Relational Model Finder [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 632-647. by Emina Torlak, Daniel Jackson posted by 2 people prahlad bfraser
	A Second Look at Overloading [My Copy] In Functional Programming Languages and Computer Architecture (1995), pp. 135-146. by Martin Odersky, Philip Wadler, Martin Wehr posted by 3 people yallop robotact msakai