Filter search results
Loading...
Images of Konstantin Läufer
(1 - 9 from 9 )
1
0
0
Interests
Network Profiles
Some publications by Konstantin Läufer
Gerald Baumgartner, Konstantin Läufer, and Vincent F. Russo. On the Interaction of Object-Oriented Design Patterns and Programming Languages. ...
www.yann-gael.gueheneuc.net
Private Homepages
Employees
Virtual Bookshelf: Type Systems
Stefan Kaes[H. Ganzinger (ed)] (InProceedings, 1988) First-class polymorphism for ML Stefan Kahrs[Donald Sannella (ed)] (inproceedings, 1993) An approach to multilanguage...
www.cs.kent.ac.uk
Education
Seminarthemen Implementierung funktionaler Sprachen
Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler ... Karl-Filip Faxén. Workshop on Types for Program Analysis, 1995. Postscript laden ...
www.inf.fu-berlin.de
Books & Literature
oDOBS - Author page: Konstantin Läufer
George K. THIRUVATHUKAL, Konstantin LÄUFER, Benjamin GONZALEZ: Unit Testing Considered Useful. 2003; 12 Jia ZHANG, Konstantin LÄUFER, Zhiguo GONG: Mockup Supporting Web ...
lupus.cs.uni-dortmund.de
Related Documents
Proceedings of the MSPLS Spring '98 Workshop
Konstantin Läufer (**) (eds.) Technical Report OSU-CISRC-6/98-TR21 (PDF Format) ... Konstantin Läufer. as new MSPLS co-presidents. Selection of. De Paul University , ...
www.csc.lsu.edu
Polymorphic Type Inference and Abstract Data Types
Polymorphic Type Inference. and Abstract Data Types. by. Konstantin Läufer ... Konstantin Läufer. All Rights Reserved 1992. v. Abstract ...
cs.nyu.edu
Safe Structural Conformance for Java
Gerald Baumgartner. Vincent F. Russo. Department of Mathematical and Computer Sciences ... Gerald Baumgartner. Vincent F. Russo. Safe Structural Conformance for ...
www.csc.lsu.edu
OME
Editors: Paul F. Dubois, paul@pfdubois.com. George K. Thiruvathukal, gkt@cs.luc.edu ... S C I E N T I F I C P R O G R A M M I N G. idea of writing an article ...
6602423371392521369-a-etl-luc-edu-s-sites.googlegroups.com
Scientific Publications
ScienceDirect - Electronic Notes in Theoretical Computer Science ...
The online version of Electronic Notes in Theoretical Computer Science on ScienceDirect, the world's leading ... Korff, Martin Korff. Preview Purchase ...
www.sciencedirect.com
DBLP: Radha Jagadeesan (selection)
Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
dblp.uni-trier.de
DBLP: Konstantin Läufer
George K. Thiruvathukal, Konstantin Läufer, Benjamin Gonzalez: Unit Testing Considered Useful. Computing in Science and Engineering 8 (6): 76-87 (2006)
www.informatik.uni-trier.de
Interfaces Types for Haskell
Interfaces Types for Haskell Peter Thiemann Stefan Wehr University of Freiburg, Germany APLAS; December 11,2008; Bangalore, India Interfaces Types for Haskell 1/14
www.informatik.uni-freiburg.de
Reports & Statements
Blogger: User Profile: Konstantin Läufer
Blogger is a free blog publishing tool from Google for easily sharing your ... Push-Button Publishing. Konstantin Läufer. Industry: Education. Occupation: Professor ...
www.blogger.com
Computing in Science & Engineering (CiSE)
The mission of Computing in Science & Engineering is ... Programming department co-editor, Konstantin Läufer, describes how to turn your ... Konstantin Läufer ...
www.computer.org
Digital Library
Articles by Konstantin Läufer. Articles by George K. Thiruvathukal. Articles by Ryohei Nishimura ... Konstantin Läufer, Loyola University …go. George K. ...
www2.computer.org
Telephone, Addresses & Yellow Page contacts
Miscellaneous
Konstantin Läufer
Konstantin Läufer. Professor of Computer Science at Loyola University …go ... Midwest Society of Programming Languages and Systems (MSPLS) Fall 1995 Workshop at Loyola ...
webpages.cs.luc.edu
FSE 2000 - Final Program
Session 1: Welcome and Keynote Presentation (Welcome slides - PPT) ... for Computer Applications in Science and Engineering), Michael von der Beeck ...
www.cs.virginia.edu
GJ: Mirrors
The GJ web pages and distribution are mirrored at the following locations. Australia ... North America Bell Labs, Lucent Technologies, Murray Hill, New Jersey. ...
…s.inf.ed.ac.uk
Overview of package util.concurrent Release 1.3.4.
This package provides standardized, efficient versions of utility cl… commonly ... Please send suggestions to dl@cs.oswego.edu. You can get e-mail notification when this ...
gee.cs.oswego.edu
Researchers in Programming Languages and Compilers
A list of home pages for researchers working on programming language theory, design, implementation, and related areas. Maintained by Mark Leone at CMU.
www.cs.cmu.edu
Konstantin Läufer — Konstantin Läufer's Personal Site
Professor of Computer Science at Loyola University …go ... Konstantin Läufer. Professor of Computer Science at Loyola University …go ...
www.cs.luc.edu
View Konstantin Läufer's profile on Plaxo
Plaxo helps members like Konstantin Läufer keep in touch with the people who ... Sign up for Plaxo to connect with Konstantin Läufer ...
laufer.myplaxo.com
The Triveni Project
Patrice Godefroid, Lalita J Jagadeesan, Radha Jagadeesan, and Konstantin Läufer. Automated Systematic Testing for Constraint-Based Interactive Services. ...
webpages.cs.luc.edu
Some Ideas I'd Like to Look Into if I Ever Have Time
In the meantime, I found a paper by Konstantin Läufer about extending Haskell with Existential Types, which makes heterogenous data structures and dynamic binding ...
i12www.ira.uka.de
Safe Structural Conformance for Java - Laufer, Baumgartner, Russo ...
In Java, an interface specifies public abstract methods and ... Konstantin Läufer, Gerald Baumgartner, Vincent F. Russo @ … Home/Search Context Related ...
citeseer.comp.….edu.sg
Department of Computer Science
Konstantin Läufer. Contact Information. University of …go. 1100 E 58th Street, Ry 150 ... ©2004 The University of …go® The Department of Computer Science ...
www.cs.u…go.edu
On the Interaction of Object-Oriented Design Patterns and...
Design patterns are distilled from many real systems to catalog ... Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo @ … Home/Search Context Related ...
citeseer.comp.….edu.sg
Martin Odersky's Papers
29 Jun 2006 ... Independently Extensible Solutions to the Expression Problem, Matthias Zenger and Martin Odersky. Technical Report IC/2004/33, EPFL. ...
lampwww.epfl.ch
ICFP 2000 Preliminary Program
PRELIMINARY PROGRAM ICFP 2000: International Conference on Functional ... Evaluation in a Lazy Functional Language Karl-Filip Faxen, KTH, Stockholm An Operational Semantics for ...
www.erlang.org
eecs.harvard.edu/wikis/cs252r-wiki/keep/P/PuttingTypeAnnotationsToW...
... based on: : PuttingTypeAnnotationsToWork = Martin Odersky and Konstantin Läufer. 1996. ... GHC is based on: : Martin Odersky and Konstantin Läufer. 1996. ...
www.eecs.harvard.edu
GJ: Mirrors
E-mail contact: Konstantin Läufer, laufer@math.luc.edu. Germany University of Karlsruhe. Email contact: John Maraist, maraist@cis.unisa.edu.au.
lamp.epfl.ch
The Mercury Project: mercury-users Jul 00 By Subject
Konstantin Läufer (Sat Jul 01 2000 - 09:47:17 EST) ... Konstantin Läufer (Sat Jul 22 2000 - 09:38:35 EST) ... Konstantin Läufer (Thu Jul 06 2000 - 10:01:00 EST) ...
www.cs.mu.oz.au
LtU Classic Archives
Martin Odersky, Konstantin Läufer, Conference Record of POPL '96. We study an extension of the Hindley-Milner system with explicit type scheme ...
lambda-the-ultimate.org
www.eecs.harvard.edu/wikis/cs252r-wiki/page/L/LessAdHocPolymorphism.db
... overloading in C++/Ada that we > discussed is that type cl… support type ' ... lists are explicitly discussed by Konstantin Läufer in [http://www.math.luc. ...
www.eecs.harvard.edu
CiteSeerX — Citation Query Polymorphic type schemes and recursive...
CiteSeerX - Scientific documents that cite the following paper: Polymorphic type schemes and recursive de#nitions ... by Martin Odersky, Konstantin Läufer — 1996 ...
serv2.ist.psu.edu
Related search requests for Konstantin Läufer
|
Person "Läufer" (1) Forename "Konstantin" (4536) Name "Läufer" (307) |
Sorted by relevance Sort by date
People with similar characteristics