keigoi's Top Recommendations

These recommendations were last updated about 4 hours ago.

	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted by 23 people ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi SRG_at_UCD robotact srccheck jimburton Lambda the Ultimate jasmithoffice shimomura
	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
	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon P. Jones, Maurice Herlihy posted by 29 people ama08r ConcertRG pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup kazuya pedagand brecknell frej
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted by 11 people ama08r draganigajic sstrickl tautologico thsutton voigt lyongu msakai jimburton Lambda the Ultimate shimomura
	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
	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
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted by 13 people ama08r shimomura msakai rgrig yallop tautologico japple voigt kavabean geishagirls rysavy SRG_at_UCD jimburton
	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
	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
	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
	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
	Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software [My Copy] CONCUR 2001 — Concurrency Theory (2001), pp. 39-58. by John Hatcliff, Matthew Dwyer posted by 2 people shimomura bfraser
	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
	Verifying haskell programs using constructive type theory [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73. by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell posted by 8 people shimomura jimburton greenrd voigt p1738j msakai meiersi SRG_at_UCD
	The software model checker Blast [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525. by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar posted by 6 people zhensong streetlightios uisiong shimomura msakai zuleger
	Lazy abstraction [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre posted by 8 people streetlightios rhishi shimomura bec pganty groupverif msakai zuleger
	Hybrid type checking [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256. by Cormac Flanagan posted by 8 people ama08r pedagand greenrd dsilva bec janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	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
	Extended static checking for haskell [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 48-59. by Dana N. Xu posted by 3 people spl shimomura msakai
	Termination checking with types [My Copy] (2002) by A. Abel posted by 7 people shimomura msakai greenrd zednenem SRG_at_UCD ardt Lambda the Ultimate
	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
	Automatic predicate abstraction of C programs [My Copy] SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted by 5 people streetlightios emerson yuichi0619 shimomura msakai
	Lazy functional state threads [My Copy] In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted by 11 people ama08r spl fvogels draganigajic twleung dherman greenrd tautologico NU-PRL SRG_at_UCD pedagand
	Software Verification with BLAST [My Copy] Model Checking Software (2003), pp. 624-624. by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre posted by 3 people streetlightios shimomura msakai
	Language support for lightweight transactions [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402. by Tim Harris, Keir Fraser posted by 12 people veal ama08r tautologico thsutton robennals epaulson spl janschaefer RalfMitschke TU-KL-SoftwareTechnologyGroup brecknell getpost
	Bounded Model Checking Using Satisfiability Solving [My Copy] Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34. by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu posted by 4 people streetlightios voronov shimomura msakai
	Checking Memory Safety with Blast [My Copy] Fundamental Approaches to Software Engineering (2005), pp. 2-18. by Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar posted by 3 people shimomura yoriyuki msakai
	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
	Gradual typing for functional languages [My Copy] In Scheme and Functional Programming Workshop (September 2006) by Jeremy G. Siek, Walid Taha posted by 3 people mattmight shimomura msakai
	Bandera: extracting finite-state models from Java source code [My Copy] In ICSE '00: Proceedings of the 22nd international conference on Software engineering (2000), pp. 439-448. by James C. Corbett, Matthew B. Dwyer, John Hatcliff, et al.Shawn Laubach, Corina S. P&\#259;s&\#259;reanu, Robby, Hongjun Zheng posted by 3 people shimomura mercutio newdawn
	Functional reactive animation [My Copy] In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, Vol. 32, No. 8. (August 1997), pp. 263-273. by Conal Elliott, Paul Hudak posted by 4 people msakai shimomura sourada dsilva
	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
	Random Generators for Dependent Types [My Copy] Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355. by Peter Dybjer, Qiao Haiyan, Makoto Takeyama posted by 2 people shimomura msakai
	Verifying Haskell programs by combining testing, model checking and interactive theorem proving [My Copy] Information and Software Technology In Third International Conference on Quality Software: QSIC 2003, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025. by Peter Dybjer, Qiao Haiyan, Makoto Takeyama posted by 3 people pmatos shimomura msakai
	Model checking one million lines of C code [My Copy] (2004) by H. Chen, D. Dean, D. Wagner posted by 2 people shimomura msakai
	Discrete-Time Rewards Model-Checked [My Copy] Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104. by Suzana Andova, Holger Hermanns, Joost-Pieter Katoen posted by 3 people shimomura suer msakai
	To Store or Not to Store [My Copy] Computer Aided Verification (2003), pp. 433-445. by Gerd Behrmann, Kim G. Larsen, Radek Pelánek posted by 1 person shimomura
	Arrows, Robots, and Functional Reactive Programming [My Copy] Advanced Functional Programming (2003), pp. 159-187. by Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson posted by 3 people shimomura assad79 red_buttons
	Specification and Verification Using Dependent Types [My Copy] IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964. by F. K. Hanna, N. Daeche, M. Longley posted by 2 people shimomura msakai
	Translating dependent type theory into higher order logic [My Copy] Typed Lambda Calculi and Applications (1993), pp. 209-229. by Bart Jacobs, Tom Melham posted by 2 people shimomura msakai
	Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! [My Copy] Programming Languages and Systems (2008), pp. 16-31. by Jacob Matthews, Amal Ahmed posted by 2 people shimomura msakai
	Automated Compositional Abstraction Re nement for Concurrent C Programs: A Two-Level Approach [My Copy] by Sagar Chaki, Karen Yorav, Edmund Clarke posted by 1 person shimomura
	Modular verification of software components in C [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 30, No. 6. (2004), pp. 388-402. by S. Chaki, E. M. Clarke, A. Groce, S. Jha, H. Veith posted by 1 person shimomura
	Industrial uses of Caml: examples and lessons learned from the smart card industry [My Copy] In CUFP '07: Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming (2007), pp. 1-4. by Xavier Leroy posted by 2 people shimomura msakai
	The S<scp>LAM</scp> project: debugging system software via static analysis [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002), pp. 1-3. by Thomas Ball, Sriram K. Rajamani posted by 2 people msakai shimomura
	FUDGETS: a graphical user interface in a lazy functional language [My Copy] In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 321-330. by Magnus Carlsson, Thomas Hallgren posted by 2 people msakai shimomura
	Setuid demystified [My Copy] (2002) by H. Chen, D. Wagner, D. Dean posted by 3 people msakai shimomura heiko_reese
	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
	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
	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
	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
	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
	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
	$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
	Dependent Types in Practical Programming [My Copy] In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227. by Howgwei Xi, Frank Pfenning posted by 12 people ama08r talototo darinm draganigajic dherman tautologico bdauvergne radico mstone sclv NU-PRL pedagand
	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
	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
	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
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	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
	Initial Algebra Semantics and Continuous Algebras [My Copy] J. ACM, Vol. 24, No. 1. (January 1977), pp. 68-95. by J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright posted by 6 people dherman msakai bonotake ryanc NU-PRL marcinzalewski
	Non-linear loop invariant generation using Gr&\#246;bner bases [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 318-329. by Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna posted by 1 person bfraser
	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
	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
	What is a recursive module? [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 50-63. by Karl Crary, Robert Harper, Sidd Puri posted by 3 people msakai dherman NU-PRL
	A polymorphic record calculus and its compilation [My Copy] ACM Trans. Program. Lang. Syst., Vol. 17, No. 6. (November 1995), pp. 844-895. by Atsushi Ohori posted by 3 people dherman NU-PRL msakai
	Subtractive logic [My Copy] Theoretical Computer Science, Vol. 254, No. 1--2. (2001), pp. 151-185. by Tristan Crolard posted by 4 people msakai dherman EdwardKmett NU-PRL
	Linear types can change the world! [My Copy] In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359. by P. Wadler edited by M. Broy, C. Jones posted by 14 people draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw tautologico bfraser robennals ds NU-PRL mcclurmc Lambda the Ultimate
	Verifying CPS transformations in Isabelle/HOL [My Copy] In MERLIN '03: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding (2003), pp. 1-8. by Yasuhiko Minamide, Koji Okuma posted by 4 people dalev NU-PRL mvermaat msakai
	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
	Adapting side effects analysis for modular program model checking [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (2003), pp. 188-197. by Oksana Tkachuk, Matthew B. Dwyer posted by 1 person shimomura
	Finding bugs efficiently with a SAT solver [My Copy] In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 195-204. by Julian Dolby, Mandana Vaziri, Frank Tip posted by 1 person mwmarkland
	The pragmatics of model-driven development [My Copy] Software, IEEE, Vol. 20, No. 5. (2003), pp. 19-25. by B. Selic posted by 12 people buchgeher embersp jabur bkohler leonardo spl ebrahim_bagheri janschaefer TU-KL-SoftwareTechnologyGroup snyder84 luiinge francoisl
	Composition and refinement of behavioral specifications [My Copy] Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on (2001), pp. 157-165. by D. Pavlovic, D. R. Smith posted by 1 person leonardo
	Dynamic applications from the ground up [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38. by Don Stewart, Manuel M. T. Chakravarty posted by 8 people bfraser draganigajic hamish JeffreyPalmer voigt byorgey jpbernardy pedagand
	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
	Structured type theory [My Copy] (1999) by C. Coquand, T. Coquand posted by 3 people draganigajic msakai bringert
	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
	Purely functional data structures [My Copy] (1998) by Chris Okasaki posted by 6 people JeffreyPalmer muli msakai AndreasSchropp kozaki jimburton
	MDA Explained: The Model Driven Architecture(TM): Practice and Promise (Addison-Wesley Object Technology Series) [My Copy] (01 May 2003) by Anneke Kleppe, Jos Warmer, Wim Bast posted by 12 people thiers20 emiliorp bfraser JavaJoe RWeiss pajoma zemeigo marcia weerasak pjclemente janschaefer TU-KL-SoftwareTechnologyGroup
	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
	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
	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
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted by 12 people ConcertRG mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 Rightscom masteraka marcinzalewski Scis0000002
	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
	Finite topology as applied to image analysis [My Copy] Computer Vision, Graphics, and Image Processing, Vol. 46, No. 2. (May 1989), pp. 141-161. by V. A. Kovalevsky posted by 8 people baueru hamish ansobol jrw msakai kz1r5d GN magiclove
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted by 11 people samth pedagand draganigajic twleung dherman JacquesC greenrd tov sclv NU-PRL SRG_at_UCD
	Polymorphic effect systems [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57. by J. M. Lucassen, D. K. Gifford posted by 8 people ama08r assnoodles samth twleung pnkfelix tautologico NU-PRL bfraser
	How to make ad-hoc polymorphism less ad-hoc [My Copy] In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76. by P. Wadler, S. Blott posted by 6 people msakai lomeo tov gds SamB gkuan
	How to make ad-hoc polymorphism less ad hoc [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76. by P. Wadler, S. Blott posted by 12 people pedagand draganigajic dherman JacquesC yallop robennals ben_moseley dwehr RalfMitschke NU-PRL complogic jpbernardy
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted by 10 people ama08r ConcertRG spl pedagand voigt p1738j aleks Benja Compilers paper_jac
	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
	A Classification and Comparison Framework for Software Architecture Description Languages [My Copy] IEEE Trans. Softw. Eng. In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (January 2000), pp. 70-93. by Nenad Medvidovic, Richard N. Taylor posted by 12 people tproenca argo Trent DavidChemouil marcinzalewski ingstrup lfk leonardo marcia janschaefer TU-KL-SoftwareTechnologyGroup buchgeher
	Type Systems for Concurrent Programs [My Copy] Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453. by Naoki Kobayashi posted by 3 people olegus yoriyuki msakai
	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
	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
	Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 July 1997) by Jon Barwise, Jerry Seligman posted by 5 people Scis0000002 msakai scis0000001 aleks Compilers