fvogels's library 109 articles Export

	Uniprocessor Garbage Collection Techniques [My Copy] In IWMM '92: Proceedings of the International Workshop on Memory Management (1992), pp. 1-42. by Paul R. Wilson posted to garbage-collection by fvogels on 2009-11-10 22:46:33 as along with 1 person akuhn
	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 to logic by fvogels on 2009-11-10 22:40:45 as along with 4 people msakai pedagand noam_zeilberger Benja
	Formal Translation of Bytecode into BoogiePL [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 190, No. 1. (2007), pp. 35-50. by Hermann Lehner, Peter Müller posted to boogie by fvogels on 2009-10-27 08:44:39 as along with 1 person ddemange
	Using Passive Object Garbage Collection Algorithms for Garbage Collection of Active Objects [My Copy] In In ISMM’02, ACM SIGPLAN Notices (2002), pp. 106-113. by Abhay Vardhan, Gul Agha posted to garbage-collection concurrency by fvogels on 2009-10-21 22:34:44 as
	Datatype-Generic Programming [My Copy] Datatype-Generic Programming (2007), pp. 1-71. by Jeremy Gibbons posted to metaprogramming language-concept by fvogels on 2009-10-07 14:00:11 as along with 4 people spl jpbernardy americovargas marcinzalewski
	F-bounded polymorphism for object-oriented programming [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 273-280. by Peter Canning, William Cook, Walter Hill, Walter Olthoff, John C. Mitchell posted to type-system by fvogels on 2009-09-30 10:59:13 as along with 1 person MartinSchuerrer
	Pizza into Java: Translating theory into practice [My Copy] In In Proc. 24th ACM Symposium on Principles of Programming Languages (1997), pp. 146-159. by Martin Odersky, Philip Wadler posted to type-system java by fvogels on 2009-09-30 10:08:28 as
	Typed lambda-calculi with explicit substitutions may not terminate [My Copy] In TLCA '95: Proceedings of the Second International Conference on Typed Lambda Calculi and Applications (1995), pp. 328-334. by Paul A. Melliès posted to formal-system by fvogels on 2009-09-25 22:11:21 as
	Abstract and Concrete Categories The Joy of Cats [My Copy] by Jiri Adamek, Horst Herrlich, George E. Strecker posted to category-theory by fvogels on 2009-09-23 13:22:36 as
	Parametric polymorphism in Java: an approach to translation based on reflective features [My Copy] In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2000), pp. 146-165. by Mirko Viroli, Antonio Natali posted to no-tag by fvogels on 2009-09-21 12:55:44 as
	Parametric polymorphism in Java: an efficient implementation for parametric methods [My Copy] In SAC '01: Proceedings of the 2001 ACM symposium on Applied computing (2001), pp. 610-619. by Mirko Viroli posted to java by fvogels on 2009-09-21 12:54:40 as
	Parametric polymorphism for Java: a reflective solution [My Copy] SIGPLAN Not., Vol. 33, No. 10. (1998), pp. 216-225. by Jose H. Solorzano, Suad Alagić posted to java by fvogels on 2009-09-21 12:52:51 as
	Compatible genericity with run-time types for the Java programming language [My Copy] SIGPLAN Not., Vol. 33, No. 10. (1998), pp. 201-215. by Robert Cartwright, Guy L. Steele posted to java by fvogels on 2009-09-21 12:50:36 as
	Design patterns as higher-order datatype-generic programs [My Copy] In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 1-12. by Jeremy Gibbons posted to language-concept by fvogels on 2009-09-21 12:44:02 as along with 3 people americovargas marcinzalewski pedagand
	The cost of erasure in Java generics type system [My Copy] J. Comput. Small Coll., Vol. 22, No. 5. (2007), pp. 2-11. by No Jaime Ni posted to java by fvogels on 2009-09-21 12:32:50 as
	Genericity in java with virtual types [My Copy] ECOOP'97 — Object-Oriented Programming (1997), pp. 444-471. by Kresten Thorup posted to java by fvogels on 2009-09-21 12:31:41 as
	Generic ownership for generic Java [My Copy] In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2006), pp. 311-324. by Alex Potanin, James Noble, Dave Clarke, Robert Biddle posted to java by fvogels on 2009-09-21 12:27:20 as
	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 to functional by fvogels on 2009-09-17 20:20:17 as along with 8 people and 2 groups ama08r spl draganigajic twleung dherman greenrd tautologico pedagand NU-PRL SRG_at_UCD
	Notions of Computation and Monads [My Copy] Information and Computation, Vol. 93 (1989), pp. 55-92. by Eugenio Moggi posted to category-theory by fvogels on 2009-09-17 12:33:47 as
	Checking Polynomial Time Complexity with Types [My Copy] In TCS '02: Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (2002), pp. 370-382. by Patrick Baillot posted to type-system complexity by fvogels on 2009-09-14 23:23:14 as
	A sound and relatively complete Hoare-logic for a language with higher type procedures [My Copy] Acta Informatica, Vol. 20, No. 1. (1 October 1983), pp. 59-101. by Werner Damm, Bernhard Josko posted to logic by fvogels on 2009-09-08 11:10:43 as
	Multiple dispatch in practice [My Copy] SIGPLAN Not., Vol. 43, No. 10. (2008), pp. 563-582. by Radu Muschevici, Alex Potanin, Ewan Tempero, James Noble posted to multiple-dispatch by fvogels on 2009-08-12 14:57:37 as
	Java type inference is broken: can we fix it? [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 505-524. by Daniel Smith, Robert Cartwright posted to java by fvogels on 2009-08-12 14:56:01 as
	Efficient software model checking of soundness of type systems [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 493-504. by Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati posted to type-system by fvogels on 2009-08-12 14:54:58 as along with 1 person bulwahn
	Constrained types for object-oriented languages [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 457-474. by Nathaniel Nystrom, Vijay Saraswat, Jens Palsberg, Christian Grothoff posted to type-system by fvogels on 2009-08-12 14:52:09 as
	The visitor pattern as a reusable, generic, type-safe component [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 439-456. by Bruno, Meng Wang, Jeremy Gibbons posted to language-concept by fvogels on 2009-08-12 14:51:21 as
	Analysis and reduction of memory inefficiencies in Java strings [My Copy] SIGPLAN Not., Vol. 43, No. 10. (2008), pp. 385-402. by Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera posted to java by fvogels on 2009-08-12 14:50:02 as
	Whiteoak: introducing structural typing into java [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 73-90. by Joseph Gil, Itay Maman posted to java by fvogels on 2009-08-12 14:46:38 as
	An approach to call-by-name delimited continuations [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 383-394. by Hugo Herbelin, Silvia Ghilezan posted to continuation by fvogels on 2009-08-12 14:45:02 as
	The design and implementation of typed scheme [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 395-406. by Sam T. Hochstadt, Matthias Felleisen posted to type-system scheme by fvogels on 2009-08-12 14:44:04 as along with 1 person and 1 group robotact Lambda the Ultimate
	Foundations for structured programming with GADTs [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 297-308. by Patricia Johann, Neil Ghani posted to language-concept by fvogels on 2009-08-12 14:42:48 as along with 1 person jpbernardy
	Automatic inference of stationary fields: a generalization of java's final fields [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 183-195. by Christopher Unkel, Monica S. Lam posted to java by fvogels on 2009-08-12 14:41:05 as along with 1 person ama08r
	Cyclic proofs of program termination in separation logic [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 101-112. by James Brotherston, Richard Bornat, Cristiano Calcagno posted to separation-logic by fvogels on 2009-08-12 14:39:49 as
	Semantics of transactional memory and automatic mutual exclusion [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 63-74. by Mart'in Abadi, Andrew Birrell, Tim Harris, Michael Isard posted to stm by fvogels on 2009-08-12 14:38:00 as along with 5 people ama08r bhoward amp269 brecknell pedagand
	High-level small-step operational semantics for transactions [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 51-62. by Katherine F. Moore, Dan Grossman posted to operational-semantics by fvogels on 2009-08-12 14:36:37 as along with 1 person ama08r
	Towards Observational Type Theory [My Copy] by Thorsten Altenkirch, Conor Mcbride posted to type-system by fvogels on 2009-07-30 13:21:46 as
	Hoare Type Theory, Polymorphism and Separation [My Copy] by Aleksandar Nanevski, Greg Morrisett posted to type-system by fvogels on 2009-07-19 13:29:19 as
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted to functional by fvogels on 2009-07-14 02:18:55 as along with 1 person mlj
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to parametricity by fvogels on 2009-06-23 11:15:17 as along with 7 people and 1 group byorgey amp269 voigt spl paper_jac robdockins nominolo ConcertRG
	Specification and verification challenges for sequential object-oriented programs [My Copy] by Gary T. Leavens, K. R. M. Leino, Peter Müller posted to static-verification by fvogels on 2009-05-27 13:56:11 as
	Automatic Parallelization and Optimization of Programs by Proof Rewriting [My Copy] by Clément Hurlin posted to concurrency separation-logic by fvogels on 2009-05-10 21:42:56 as
	Union-find with deletions [My Copy] In SODA '02: Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms (2002), pp. 19-28. by Haim Kaplan, Nira Shafrir, Robert E. Tarjan posted to union-find by fvogels on 2009-05-10 15:01:11 as
	Implementation of physical units [My Copy] SIGPLAN Not., Vol. 22, No. 8. (1987), pp. 45-50. by Geoff Baldwin posted to units by fvogels on 2009-05-05 13:55:11 as along with 1 person JavaJoe
	Programming pascal with physical units [My Copy] SIGPLAN Not., Vol. 21, No. 12. (1986), pp. 114-123. by A. Dreiheller, B. Mohr, M. Moerschbacher posted to units by fvogels on 2009-05-05 13:48:29 as along with 1 person JavaJoe
	Strong typing and physical units [My Copy] SIGPLAN Not., Vol. 21, No. 3. (1986), pp. 11-20. by R. Männer posted to units by fvogels on 2009-05-05 13:33:44 as along with 1 person JavaJoe
	Understanding Tradeoffs in Software Transactional Memory [My Copy] by Dave Dice, Nir Shavit posted to stm by fvogels on 2009-04-30 19:39:25 as
	Lightweight Software Transactions for Games [My Copy] by Alexandro Baldassin, Sebastian Burckhardt posted to stm by fvogels on 2009-04-28 12:26:01 as
	Software Transactional Memory - Why is it only a research toy [My Copy] (24 October 2008) by Calin Cascaval, Colin Blundell, Maged Michael, et al.Harold W. Cain, Peng Wu, Stefanie Chiras, Siddhartha Chatterjee posted to stm by fvogels on 2009-04-28 11:36:34 as
	Relational parametricity and units of measure [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 442-455. by Andrew J. Kennedy posted to units by fvogels on 2009-04-27 19:39:03 as along with 2 people and 1 group draganigajic pedagand ConcertRG
	Programming Languages and Dimensions [My Copy] by Andrew J. Kennedy posted to units by fvogels on 2009-04-27 19:27:30 as

Note: You may cite this page as: http://www.citeulike.org/user/fvogels

Result page: 1 2 3 Next

java	17
concurrency	16
static-verification	15
units	13
type-system	11
formal-system	9
verification-conditions	9
language-concept	7
logic	7
tutorial	6
weakest-preconditions	6
stm	5
category-theory	4
monads	4
operational-semantics	4
boogie	3
c	3
parsers	3
separation-logic	3
active-patterns	2
fsharp	2
functional	2
garbage-collection	2
haskell	2
lisp	2
lock-free	2
metaprogramming	2
scheme	2
arrows	1
complexity	1
continuation	1
curry-howard	1
graph-theory	1
krakatoa	1
multiple-dispatch	1
parametricity	1
union-find	1
unique-pointers	1
verifast	1
why	1

fvogels's library 109 articles Export

fvogels's tags