Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

A Typical Synergy : Dynamic types and generalised algebraic datatypes

Noort, T. van
Achten, P.
Plasmeijer, R.

Publication date

January 2011

DOI

10.1007/978-3-642-16478-1_11

Publisher

Springer Science and Business Media LLC

Abstract

Contains fulltext : 84450.pdf (publisher's version ) (Closed access

Extracted data

Related items

Building dynamic capabilities for the base of the pyramid

Vermeulen, P.A.M.
Bertisen, J.
Geurts, J

January 2008

Contains fulltext : 157444.pdf (publisher's version ) (Closed access

Introduction. Repertoires of Representation

Kaal, H.G.J.
Slootjes, D.

January 2019

Contains fulltext : 204662pub.pdf (publisher's version ) (Open Access

Embedded scalars and typicality

Tiel, B.J.M. van

January 2014

Contains fulltext : 132101.pdf (publisher's version ) (Closed access

A Size-Aware Type System with Algebraic Data Types

Tamalet, A.N.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72731.pdf (publisher's version ) (Open Access)34 p. p

Combining Generics and Dynamics

Achten, P.M.
Hinze, R.

January 2002

Contains fulltext : 111090.pdf (author's version ) (Open Access)18 p

Generic Generation of Elements of Types

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32549.pdf (author's version ) (Open Access

A lightweight approach to datatype-generic rewriting

Noort, T. van
Rodriguez, A.
Jeuring, J.
Heeren, B.
Magalhaes, J.P.
Holdermans, S.

January 2010

Contains fulltext : 84367.pdf (publisher's version ) (Open Access

Developing the algebraic hierarchy with type classes in Coq

Spitters, B.A.W.
Weegen, E.E. van der

January 2010

Contains fulltext : 83812.pdf (publisher's version ) (Closed access

Between Types and Tables : Using Generic Programming for Automated Mapping between Data Types and Relational Databases

Lijnse, B.
Plasmeijer, R.

January 2011

Contains fulltext : 91595.pdf (preprint version ) (Closed access

Type classes for mathematics in type theory

Spitters, B.A.W.
Weegen, E.E. van der

January 2011

Contains fulltext : 92523.pdf (preprint version ) (Open Access) ...

Scalars, monads, and categories

Coumans, D.
Jacobs, B.

January 2013

Contains fulltext : 111224.pdf (preprint version ) (Closed access

Complete sets of cooperations

Kupke, C.
Rutten, J.

January 2010

Contains fulltext : 83576.pdf (publisher's version ) (Closed access

Effective genericity and differentiability

Kuijper, R.
Terwijn, S.A.

January 2014

Contains fulltext : 130190.pdf (publisher's version ) (Open Access

Dynamic Construction of Generic Functions

Wichers Schreur, R.J.M.
Plasmeijer, M.J.

January 2004

Contains fulltext : 60357.pdf (postprint version ) (Open Access

Dynamic capabilities to match multiple product generations and market rhythm

Dacko, S.G.
Liu, B.S.
Sudharshan, D.
Furrer, O.F.G.

January 2008

Contains fulltext : 68538.pdf (publisher's version ) (Closed access)31 p

Building dynamic capabilities for the base of the pyramid

Vermeulen, P.A.M.
Bertisen, J.
Geurts, J

January 2008

Contains fulltext : 157444.pdf (publisher's version ) (Closed access

Introduction. Repertoires of Representation

Kaal, H.G.J.
Slootjes, D.

January 2019

Contains fulltext : 204662pub.pdf (publisher's version ) (Open Access

Embedded scalars and typicality

Tiel, B.J.M. van

January 2014

Contains fulltext : 132101.pdf (publisher's version ) (Closed access

A Size-Aware Type System with Algebraic Data Types

Tamalet, A.N.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72731.pdf (publisher's version ) (Open Access)34 p. p

Combining Generics and Dynamics

Achten, P.M.
Hinze, R.

January 2002

Contains fulltext : 111090.pdf (author's version ) (Open Access)18 p

Generic Generation of Elements of Types

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32549.pdf (author's version ) (Open Access

A lightweight approach to datatype-generic rewriting

Noort, T. van
Rodriguez, A.
Jeuring, J.
Heeren, B.
Magalhaes, J.P.
Holdermans, S.

January 2010

Contains fulltext : 84367.pdf (publisher's version ) (Open Access

Developing the algebraic hierarchy with type classes in Coq

Spitters, B.A.W.
Weegen, E.E. van der

January 2010

Contains fulltext : 83812.pdf (publisher's version ) (Closed access

Between Types and Tables : Using Generic Programming for Automated Mapping between Data Types and Relational Databases

Lijnse, B.
Plasmeijer, R.

January 2011

Contains fulltext : 91595.pdf (preprint version ) (Closed access

Type classes for mathematics in type theory

Spitters, B.A.W.
Weegen, E.E. van der

January 2011

Contains fulltext : 92523.pdf (preprint version ) (Open Access) ...

Scalars, monads, and categories

Coumans, D.
Jacobs, B.

January 2013

Contains fulltext : 111224.pdf (preprint version ) (Closed access

Complete sets of cooperations

Kupke, C.
Rutten, J.

January 2010

Contains fulltext : 83576.pdf (publisher's version ) (Closed access

Effective genericity and differentiability

Kuijper, R.
Terwijn, S.A.

January 2014

Contains fulltext : 130190.pdf (publisher's version ) (Open Access

Dynamic Construction of Generic Functions

Wichers Schreur, R.J.M.
Plasmeijer, M.J.

January 2004

Contains fulltext : 60357.pdf (postprint version ) (Open Access

Dynamic capabilities to match multiple product generations and market rhythm

Dacko, S.G.
Liu, B.S.
Sudharshan, D.
Furrer, O.F.G.

January 2008

Contains fulltext : 68538.pdf (publisher's version ) (Closed access)31 p

Building dynamic capabilities for the base of the pyramid

Vermeulen, P.A.M.
Bertisen, J.
Geurts, J

January 2008

Contains fulltext : 157444.pdf (publisher's version ) (Closed access

Introduction. Repertoires of Representation

Kaal, H.G.J.
Slootjes, D.

January 2019

Contains fulltext : 204662pub.pdf (publisher's version ) (Open Access

Embedded scalars and typicality

Tiel, B.J.M. van

January 2014

Contains fulltext : 132101.pdf (publisher's version ) (Closed access